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 :)
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
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 :)