• 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 :)

About

Avatar for AkosLukacs @AkosLukacs started