Line selection overhaul & start of plumbing

lib/codemirror.js

@@ -1,4 +1,4 @@
-import { EditorState, Compartment, Transaction, Annotation } from '@codemirror/state'
+import { EditorState, Compartment, Transaction, Annotation, EditorSelection } from '@codemirror/state'
 import { indentWithTab, undo, redo, history, defaultKeymap, historyKeymap, indentMore, indentLess } from '@codemirror/commands'
 import { EditorView, lineNumbers, highlightActiveLineGutter, highlightSpecialChars, drawSelection, dropCursor, rectangularSelection, crosshairCursor, highlightActiveLine, keymap } from '@codemirror/view'
 import { foldGutter, indentOnInput, syntaxHighlighting, defaultHighlightStyle, bracketMatching, foldKeymap } from '@codemirror/language'
@@ -45,5 +45,6 @@ export default {
   moveCompletionSelection,
   acceptCompletion,
   indentMore,
-  indentLess
+  indentLess,
+  EditorSelection,
 }

lib/platforms/neutralino.js

@@ -78,8 +78,6 @@ window.Platform = {
       }
     }
 
-    console.log(out)
-
     return '/' + out.join('/')
   },