Shift-enter works as a shortcut in some REPLs, I would prefer that.
Like @Raik, on a hungarian keyboard, you can't just press Ctrl + \ easily.
Oh, while we are at keyboard shortcuts:  characters are on AltGr-F and AltGr-G on a hungarian keyboard, but that conflicts with Web-Ide's show/hide "right side". So making that configurable would be nice :)
Ctrl + \
© Espruino, powered by microcosm.
Report a problem