IMHO these would be nice features in REPLs editor:
[ ] “Multiple Selections - Select and edit multiple ranges of the document at once.” (ctrl+left click)
I'm using this feature in VS Code (alt+left click) all the time and also shift+alt+left click "vertical selection" is very useful (this seems to work in CodeMirror example also using shift+alt+left click+drag)
[ ] “Code Folding - Temporarily hide parts of the document.” (less mouse scrolling)
[ ] Show cursor when dragging and dropping (to better see where to drop)
IMHO these would be nice features in REPLs editor:
[ ] “Multiple Selections - Select and edit multiple ranges of the document at once.” (ctrl+left click)
[ ] “Code Folding - Temporarily hide parts of the document.” (less mouse scrolling)
[ ] Show cursor when dragging and dropping (to better see where to drop)
See the above features in action at https://codemirror.net/ 's code example(s)!