@jupyterlab/codemirror 4.0.0-alpha.10 → 4.0.0-alpha.13

package/lib/editor.js

@@ -3,51 +3,23 @@
 // Distributed under the terms of the Modified BSD License.
 // / <reference types="codemirror"/>
 // / <reference types="codemirror/searchcursor"/>
-var __rest = (this && this.__rest) || function (s, e) {
-    var t = {};
-    for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p) && e.indexOf(p) < 0)
-        t[p] = s[p];
-    if (s != null && typeof Object.getOwnPropertySymbols === "function")
-        for (var i = 0, p = Object.getOwnPropertySymbols(s); i < p.length; i++) {
-            if (e.indexOf(p[i]) < 0 && Object.prototype.propertyIsEnumerable.call(s, p[i]))
-                t[p[i]] = s[p[i]];
-        }
-    return t;
-};
 import { showDialog } from '@jupyterlab/apputils';
 import { CodeEditor } from '@jupyterlab/codeeditor';
 import { nullTranslator } from '@jupyterlab/translation';
 import { ArrayExt } from '@lumino/algorithm';
-import { JSONExt, UUID } from '@lumino/coreutils';
+import { UUID } from '@lumino/coreutils';
 import { DisposableDelegate } from '@lumino/disposable';
 import { Poll } from '@lumino/polling';
 import { Signal } from '@lumino/signaling';
-import CodeMirror from 'codemirror';
-import 'codemirror/addon/comment/comment.js';
-import 'codemirror/addon/display/rulers.js';
-import 'codemirror/addon/edit/closebrackets.js';
-import 'codemirror/addon/edit/matchbrackets.js';
-import 'codemirror/addon/fold/brace-fold.js';
-import 'codemirror/addon/fold/comment-fold.js';
-import 'codemirror/addon/fold/foldcode.js';
-import 'codemirror/addon/fold/foldgutter.js';
-import 'codemirror/addon/fold/indent-fold.js';
-import 'codemirror/addon/fold/markdown-fold.js';
-import 'codemirror/addon/fold/xml-fold.js';
-import 'codemirror/addon/mode/simple';
-import 'codemirror/addon/scroll/scrollpastend.js';
-import 'codemirror/addon/search/jump-to-line';
-import 'codemirror/addon/search/search';
-import 'codemirror/addon/search/searchcursor';
-import 'codemirror/addon/selection/active-line';
-import 'codemirror/addon/selection/mark-selection';
-import 'codemirror/addon/selection/selection-pointer';
-import 'codemirror/addon/edit/trailingspace.js';
-import 'codemirror/keymap/emacs.js';
-import 'codemirror/keymap/sublime.js';
-import { CodemirrorBinding } from 'y-codemirror';
+import { indentMore, insertNewlineAndIndent, insertTab } from '@codemirror/commands';
+import { ensureSyntaxTree } from '@codemirror/language';
+import { EditorSelection, EditorState, Prec, StateEffect, StateField } from '@codemirror/state';
+import { Decoration, EditorView, WidgetType } from '@codemirror/view';
+import { yCollab } from 'y-codemirror.next';
 import { Mode } from './mode';
-// import 'codemirror/keymap/vim.js';  lazy loading of vim mode is available in ../codemirror-extension/index.ts
+import { Configuration } from './editorconfiguration';
+import './codemirror-ipython';
+import './codemirror-ipythongfm';
 /**
  * The class name added to CodeMirrorWidget instances.
  */
@@ -76,9 +48,6 @@ const DOWN_ARROW = 40;
  * The time that a collaborator name hover persists.
  */
 const HOVER_TIMEOUT = 1000;
-// @todo Remove the duality of having a modeldb and a y-codemirror
-// binding as it just introduces a lot of additional complexity without gaining anything.
-const USE_YCODEMIRROR_BINDING = true;
 /**
  * CodeMirror editor.
  */
@@ -87,18 +56,16 @@ export class CodeMirrorEditor {
      * Construct a CodeMirror editor.
      */
     constructor(options) {
-        var _a;
         /**
          * A signal emitted when either the top or bottom edge is requested.
          */
         this.edgeRequested = new Signal(this);
-        this.selectionMarkers = {};
+        this._selectionMarkers = {};
         this._keydownHandlers = new Array();
-        this._changeGuard = false;
         this._uuid = '';
-        this._needsRefresh = false;
         this._isDisposed = false;
         this._lastChange = null;
+        this._editorConfig = new Configuration.EditorConfiguration();
         const host = (this.host = options.host);
         this.translator = options.translator || nullTranslator;
         this._trans = this.translator.load('jupyterlab');
@@ -108,21 +75,110 @@ export class CodeMirrorEditor {
         host.addEventListener('blur', this, true);
         host.addEventListener('scroll', this, true);
         this._uuid = options.uuid || UUID.uuid4();
+        // State and effects for handling the selection marks
+        this._addMark = StateEffect.define();
+        this._removeMark = StateEffect.define();
+        this._markField = StateField.define({
+            create: () => {
+                return Decoration.none;
+            },
+            update: (marks, transaction) => {
+                marks = marks.map(transaction.changes);
+                for (let ef of transaction.effects) {
+                    if (ef.is(this._addMark)) {
+                        let e = ef;
+                        const decorations = this._buildMarkDecoration(e.value.uuid, e.value.selections);
+                        marks = marks.update({ add: decorations });
+                        this._selectionMarkers[e.value.uuid] = decorations;
+                    }
+                    else if (ef.is(this._removeMark)) {
+                        let e = ef;
+                        for (let rd of ef.value.decorations) {
+                            marks = marks.update({
+                                filter: (from, to, value) => {
+                                    return !(from === rd.from &&
+                                        to === rd.to &&
+                                        value === rd.value);
+                                }
+                            });
+                        }
+                        delete this._selectionMarkers[e.value.uuid];
+                    }
+                }
+                return marks;
+            },
+            provide: f => EditorView.decorations.from(f)
+        });
         // Handle selection style.
         const style = options.selectionStyle || {};
         this._selectionStyle = Object.assign(Object.assign({}, CodeEditor.defaultSelectionStyle), style);
         const model = (this._model = options.model);
         const config = options.config || {};
         const fullConfig = (this._config = Object.assign(Object.assign({}, CodeMirrorEditor.defaultConfig), config));
-        const editor = (this._editor = Private.createEditor(host, fullConfig));
         this._initializeEditorBinding();
+        // Extension for handling DOM events
+        const domEventHandlers = EditorView.domEventHandlers({
+            keydown: (event, view) => {
+                const index = ArrayExt.findFirstIndex(this._keydownHandlers, handler => {
+                    if (handler(this, event) === true) {
+                        event.preventDefault();
+                        return true;
+                    }
+                    return false;
+                });
+                if (index === -1) {
+                    return this.onKeydown(event);
+                }
+                return false;
+            }
+        });
+        const updateListener = EditorView.updateListener.of((update) => {
+            this._onDocChanged(update);
+        });
+        // The list of internal strings is available at https://codemirror.net/examples/translate/
+        const translation = EditorState.phrases.of({
+            // @codemirror/view
+            'Control character': this._trans.__('Control character'),
+            // @codemirror/commands
+            'Selection deleted': this._trans.__('Selection deleted'),
+            // @codemirror/language
+            'Folded lines': this._trans.__('Folded lines'),
+            'Unfolded lines': this._trans.__('Unfolded lines'),
+            to: this._trans.__('to'),
+            'folded code': this._trans.__('folded code'),
+            unfold: this._trans.__('unfold'),
+            'Fold line': this._trans.__('Fold line'),
+            'Unfold line': this._trans.__('Unfold line'),
+            // @codemirror/search
+            'Go to line': this._trans.__('Go to line'),
+            go: this._trans.__('go'),
+            Find: this._trans.__('Find'),
+            Replace: this._trans.__('Replace'),
+            next: this._trans.__('next'),
+            previous: this._trans.__('previous'),
+            all: this._trans.__('all'),
+            'match case': this._trans.__('match case'),
+            replace: this._trans.__('replace'),
+            'replace all': this._trans.__('replace all'),
+            close: this._trans.__('close'),
+            'current match': this._trans.__('current match'),
+            'replaced $ matches': this._trans.__('replaced $ matches'),
+            'replaced match on line $': this._trans.__('replaced match on line $'),
+            'on line': this._trans.__('on line'),
+            // @codemirror/autocomplete
+            Completions: this._trans.__('Completions'),
+            // @codemirror/lint
+            Diagnostics: this._trans.__('Diagnostics'),
+            'No diagnostics': this._trans.__('No diagnostics')
+        });
+        this._editor = Private.createEditor(host, fullConfig, this._yeditorBinding, this._editorConfig, [
+            this._markField,
+            Prec.high(domEventHandlers),
+            updateListener,
+            translation
+        ]);
         // every time the model is switched, we need to re-initialize the editor binding
         this.model.sharedModelSwitched.connect(this._initializeEditorBinding, this);
-        const doc = editor.getDoc();
-        // Handle initial values for text, mimetype, and selections.
-        if (!USE_YCODEMIRROR_BINDING) {
-            doc.setValue(model.value.text);
-        }
         this._onMimeTypeChanged();
         this._onCursorActivity();
         this._poll = new Poll({
@@ -135,71 +191,19 @@ export class CodeMirrorEditor {
                 return this._lastChange ? 'when-hidden' : true;
             }
         });
-        // Connect to changes.
-        if (!USE_YCODEMIRROR_BINDING) {
-            model.value.changed.connect(this._onValueChanged, this);
-        }
         model.mimeTypeChanged.connect(this._onMimeTypeChanged, this);
         model.selections.changed.connect(this._onSelectionsChanged, this);
-        CodeMirror.on(editor, 'keydown', (editor, event) => {
-            const index = ArrayExt.findFirstIndex(this._keydownHandlers, handler => {
-                if (handler(this, event) === true) {
-                    event.preventDefault();
-                    return true;
-                }
-                return false;
-            });
-            if (index === -1) {
-                this.onKeydown(event);
-            }
-        });
-        if (USE_YCODEMIRROR_BINDING) {
-            (_a = this._yeditorBinding) === null || _a === void 0 ? void 0 : _a.on('cursorActivity', () => this._onCursorActivity());
-        }
-        else {
-            CodeMirror.on(editor, 'cursorActivity', () => this._onCursorActivity());
-            CodeMirror.on(editor.getDoc(), 'beforeChange', (instance, change) => {
-                this._beforeDocChanged(instance, change);
-            });
-        }
-        CodeMirror.on(editor.getDoc(), 'change', (instance, change) => {
-            // Manually refresh after setValue to make sure editor is properly sized.
-            if (change.origin === 'setValue' && this.hasFocus()) {
-                this.refresh();
-            }
-            this._lastChange = change;
-        });
-        // Turn off paste handling in codemirror since sometimes we want to
-        // replace it with our own.
-        editor.on('paste', (instance, event) => {
-            var _a;
-            const handlePaste = (_a = this._config['handlePaste']) !== null && _a !== void 0 ? _a : true;
-            if (!handlePaste) {
-                event.codemirrorIgnore = true;
-            }
-        });
-        // Manually refresh on paste to make sure editor is properly sized.
-        editor.getWrapperElement().addEventListener('paste', () => {
-            if (this.hasFocus()) {
-                this.refresh();
-            }
-        });
     }
     /**
      * Initialize the editor binding.
      */
     _initializeEditorBinding() {
-        var _a;
-        if (!USE_YCODEMIRROR_BINDING) {
-            return;
-        }
-        (_a = this._yeditorBinding) === null || _a === void 0 ? void 0 : _a.destroy();
         const sharedModel = this.model.sharedModel;
-        const opts = sharedModel.undoManager
-            ? { yUndoManager: sharedModel.undoManager }
-            : {};
-        const awareness = sharedModel.awareness;
-        this._yeditorBinding = new CodemirrorBinding(sharedModel.ysource, this.editor, awareness, opts);
+        this._yeditorBinding = {
+            text: sharedModel.ysource,
+            awareness: sharedModel.awareness,
+            undoManager: sharedModel.undoManager
+        };
     }
     /**
      * The uuid of this editor;
@@ -229,13 +233,13 @@ export class CodeMirrorEditor {
      * Get the codemirror doc wrapped by the widget.
      */
     get doc() {
-        return this._editor.getDoc();
+        return this._editor.state.doc;
     }
     /**
      * Get the number of lines in the editor.
      */
     get lineCount() {
-        return this.doc.lineCount();
+        return this.doc.lines;
     }
     /**
      * Returns a model for this editor.
@@ -247,13 +251,13 @@ export class CodeMirrorEditor {
      * The height of a line in the editor in pixels.
      */
     get lineHeight() {
-        return this._editor.defaultTextHeight();
+        return this._editor.defaultLineHeight;
     }
     /**
      * The widget of a character in the editor in pixels.
      */
     get charWidth() {
-        return this._editor.defaultCharWidth();
+        return this._editor.defaultCharacterWidth;
     }
     /**
      * Tests whether the editor is disposed.
@@ -272,12 +276,10 @@ export class CodeMirrorEditor {
         this.host.removeEventListener('focus', this, true);
         this.host.removeEventListener('blur', this, true);
         this.host.removeEventListener('scroll', this, true);
-        if (this._yeditorBinding) {
-            this._yeditorBinding.destroy();
-        }
         this._keydownHandlers.length = 0;
         this._poll.dispose();
         Signal.clearData(this);
+        this.editor.destroy();
     }
     /**
      * Get a config option for the editor.
@@ -292,7 +294,7 @@ export class CodeMirrorEditor {
         // Don't bother setting the option if it is already the same.
         if (this._config[option] !== value) {
             this._config[option] = value;
-            Private.setOption(this.editor, option, value, this._config);
+            this._editorConfig.reconfigureExtension(this._editor, option, value);
         }
     }
     /**
@@ -304,37 +306,34 @@ export class CodeMirrorEditor {
      * is set.
      */
     setOptions(options) {
-        const editor = this._editor;
-        editor.startOperation();
-        for (const key in options) {
-            const k = key;
-            editor.operation(() => {
-                this.setOption(k, options[k]);
-            });
-        }
-        editor.endOperation();
+        this._config = Object.assign(Object.assign({}, this._config), options);
+        this._editorConfig.reconfigureExtensions(this._editor, options);
+    }
+    injectExtension(ext) {
+        this._editorConfig.injectExtension(this._editor, ext);
     }
     /**
      * Returns the content for the given line number.
      */
     getLine(line) {
-        return this.doc.getLine(line);
+        // TODO: CM6 remove +1 when CM6 first line number has propagated
+        line = line + 1;
+        return line <= this.doc.lines ? this.doc.line(line).text : undefined;
     }
     /**
      * Find an offset for the given position.
      */
     getOffsetAt(position) {
-        return this.doc.indexFromPos({
-            ch: position.column,
-            line: position.line
-        });
+        // TODO: CM6 remove +1 when CM6 first line number has propagated
+        return this.doc.line(position.line + 1).from + position.column;
     }
     /**
      * Find a position for the given offset.
      */
     getPositionAt(offset) {
-        const { ch, line } = this.doc.posFromIndex(offset);
-        return { line, column: ch };
+        // TODO: CM6 remove -1 when CM6 first line number has propagated
+        const line = this.doc.lineAt(offset);
+        return { line: line.number - 1, column: offset - line.from };
     }
     /**
      * Undo one edit (if any undo events are stored).
@@ -353,7 +352,7 @@ export class CodeMirrorEditor {
      */
     clearHistory() {
         var _a, _b;
-        (_b = (_a = this._yeditorBinding) === null || _a === void 0 ? void 0 : _a.yUndoManager) === null || _b === void 0 ? void 0 : _b.clear();
+        (_b = (_a = this._yeditorBinding) === null || _a === void 0 ? void 0 : _a.undoManager) === null || _b === void 0 ? void 0 : _b.clear();
     }
     /**
      * Brings browser focus to this editor text.
@@ -365,78 +364,41 @@ export class CodeMirrorEditor {
      * Test whether the editor has keyboard focus.
      */
     hasFocus() {
-        return this._editor.getWrapperElement().contains(document.activeElement);
+        return this._editor.hasFocus;
     }
     /**
      * Explicitly blur the editor.
      */
     blur() {
-        this._editor.getInputField().blur();
-    }
-    /**
-     * Repaint editor.
-     */
-    refresh() {
-        this._editor.refresh();
-        this._needsRefresh = false;
+        this._editor.contentDOM.blur();
     }
     /**
      * Refresh the editor if it is focused;
      * otherwise postpone refreshing till focusing.
      */
     resizeToFit() {
-        if (this.hasFocus()) {
-            this.refresh();
-        }
-        else {
-            this._needsRefresh = true;
-        }
         this._clearHover();
     }
-    // todo: docs, maybe define overlay options as a type?
-    addOverlay(mode, options) {
-        this._editor.addOverlay(mode, options);
-    }
-    removeOverlay(mode) {
-        this._editor.removeOverlay(mode);
-    }
-    getSearchCursor(query, start, caseFold) {
-        return this._editor.getDoc().getSearchCursor(query, start, caseFold);
-    }
-    getCursor(start) {
-        return this._editor.getDoc().getCursor(start);
-    }
     get state() {
         return this._editor.state;
     }
-    operation(fn) {
-        return this._editor.operation(fn);
-    }
     firstLine() {
-        return this._editor.getDoc().firstLine();
+        // TODO: return 1 when CM6 first line number has propagated
+        return 0;
     }
     lastLine() {
-        return this._editor.getDoc().lastLine();
-    }
-    scrollIntoView(pos, margin) {
-        this._editor.scrollIntoView(pos, margin);
-    }
-    scrollIntoViewCentered(pos) {
-        var _a, _b;
-        const top = this._editor.charCoords(pos, 'local').top;
-        const height = this._editor.getWrapperElement().offsetHeight;
-        (_b = (_a = this.host).scrollIntoView) === null || _b === void 0 ? void 0 : _b.call(_a, {
-            behavior: 'auto',
-            block: 'center',
-            inline: 'center'
-        });
-        this._editor.scrollTo(null, top - height / 2);
+        return this.doc.lines - 1;
     }
     cursorCoords(where, mode) {
-        return this._editor.cursorCoords(where, mode);
+        const selection = this.state.selection.main;
+        const pos = where ? selection.from : selection.to;
+        const rect = this.editor.coordsAtPos(pos);
+        return rect;
     }
     getRange(from, to, separator) {
-        return this._editor.getDoc().getRange(from, to, separator);
+        const fromOffset = this.getOffsetAt(this._toPosition(from));
+        const toOffset = this.getOffsetAt(this._toPosition(to));
+        return this.state.sliceDoc(fromOffset, toOffset);
     }
     /**
      * Add a keydown handler to the editor.
@@ -451,41 +413,31 @@ export class CodeMirrorEditor {
             ArrayExt.removeAllWhere(this._keydownHandlers, val => val === handler);
         });
     }
-    /**
-     * Set the size of the editor in pixels.
-     */
-    setSize(dimension) {
-        if (dimension) {
-            this._editor.setSize(dimension.width, dimension.height);
-        }
-        else {
-            this._editor.setSize(null, null);
-        }
-        this._needsRefresh = false;
-    }
     /**
      * Reveal the given position in the editor.
      */
     revealPosition(position) {
-        const cmPosition = this._toCodeMirrorPosition(position);
-        this._editor.scrollIntoView(cmPosition);
+        const offset = this.getOffsetAt(position);
+        this._editor.dispatch({
+            effects: EditorView.scrollIntoView(offset)
+        });
     }
     /**
      * Reveal the given selection in the editor.
      */
     revealSelection(selection) {
-        const range = {
-            from: this._toCodeMirrorPosition(selection.start),
-            to: this._toCodeMirrorPosition(selection.end)
-        };
-        this._editor.scrollIntoView(range);
+        const start = this.getOffsetAt(selection.start);
+        const end = this.getOffsetAt(selection.end);
+        this._editor.dispatch({
+            effects: EditorView.scrollIntoView(EditorSelection.range(start, end))
+        });
     }
     /**
      * Get the window coordinates given a cursor position.
      */
     getCoordinateForPosition(position) {
-        const pos = this._toCodeMirrorPosition(position);
-        const rect = this.editor.charCoords(pos, 'page');
+        const offset = this.getOffsetAt(position);
+        const rect = this.editor.coordsAtPos(offset);
         return rect;
     }
     /**
@@ -497,14 +449,18 @@ export class CodeMirrorEditor {
      *   contained in the editor.
      */
     getPositionForCoordinate(coordinate) {
-        return this._toPosition(this.editor.coordsChar(coordinate)) || null;
+        const offset = this.editor.posAtCoords({
+            x: coordinate.left,
+            y: coordinate.top
+        });
+        return this.getPositionAt(offset) || null;
     }
     /**
      * Returns the primary position of the cursor, never `null`.
      */
     getCursorPosition() {
-        const cursor = this.doc.getCursor();
-        return this._toPosition(cursor);
+        const offset = this.state.selection.main.head;
+        return this.getPositionAt(offset);
     }
     /**
      * Set the primary position of the cursor.
@@ -513,12 +469,15 @@ export class CodeMirrorEditor {
      * This will remove any secondary cursors.
      */
     setCursorPosition(position, options) {
-        const cursor = this._toCodeMirrorPosition(position);
-        this.doc.setCursor(cursor, undefined, options);
+        const offset = this.getOffsetAt(position);
+        this.editor.dispatch({
+            selection: { anchor: offset },
+            scrollIntoView: true
+        });
         // If the editor does not have focus, this cursor change
         // will get screened out in _onCursorsChanged(). Make an
         // exception for this method.
-        if (!this.editor.hasFocus()) {
+        if (!this.editor.hasFocus) {
             this.model.selections.set(this.uuid, this.getSelections());
         }
     }
@@ -538,11 +497,15 @@ export class CodeMirrorEditor {
      * Gets the selections for all the cursors, never `null` or empty.
      */
     getSelections() {
-        const selections = this.doc.listSelections();
+        const selections = this.state.selection.ranges; //= [{anchor: number, head: number}]
         if (selections.length > 0) {
-            return selections.map(selection => this._toSelection(selection));
+            const sel = selections.map(r => ({
+                anchor: this._toCodeMirrorPosition(this.getPositionAt(r.from)),
+                head: this._toCodeMirrorPosition(this.getPositionAt(r.to))
+            }));
+            return sel.map(selection => this._toSelection(selection));
         }
-        const cursor = this.doc.getCursor();
+        const cursor = this._toCodeMirrorPosition(this.getPositionAt(this.state.selection.main.head));
         const selection = this._toSelection({ anchor: cursor, head: cursor });
         return [selection];
     }
@@ -552,8 +515,10 @@ export class CodeMirrorEditor {
      * Passing an empty array resets a cursor position to the start of a document.
      */
     setSelections(selections) {
-        const cmSelections = this._toCodeMirrorSelections(selections);
-        this.doc.setSelections(cmSelections, 0);
+        const sel = selections.length
+            ? selections.map(r => EditorSelection.range(this.getOffsetAt(r.start), this.getOffsetAt(r.end)))
+            : [EditorSelection.range(0, 0)];
+        this.editor.dispatch({ selection: EditorSelection.create(sel) });
     }
     /**
      * Replaces the current selection with the given text.
@@ -561,41 +526,62 @@ export class CodeMirrorEditor {
      * @param text The text to be inserted.
      */
     replaceSelection(text) {
-        this.doc.replaceSelection(text);
+        this.editor.dispatch(this.state.replaceSelection(text));
     }
     /**
      * Get a list of tokens for the current editor text content.
      */
     getTokens() {
-        let tokens = [];
-        for (let i = 0; i < this.lineCount; ++i) {
-            const lineTokens = this.editor.getLineTokens(i).map(t => ({
-                offset: this.getOffsetAt({ column: t.start, line: i }),
-                value: t.string,
-                type: t.type || ''
-            }));
-            tokens = tokens.concat(lineTokens);
+        const tokens = [];
+        const tree = ensureSyntaxTree(this.state, this.doc.length);
+        if (tree) {
+            tree.iterate({
+                enter: (node) => {
+                    tokens.push({
+                        value: this.state.sliceDoc(node.from, node.to),
+                        offset: node.from,
+                        type: node.name
+                    });
+                    return true;
+                }
+            });
         }
         return tokens;
     }
     /**
      * Get the token at a given editor position.
      */
-    getTokenForPosition(position) {
-        var _a;
-        const cursor = this._toCodeMirrorPosition(position);
-        const token = this.editor.getTokenAt(cursor);
-        return {
-            offset: this.getOffsetAt({ column: token.start, line: cursor.line }),
-            value: token.string,
-            type: (_a = token.type) !== null && _a !== void 0 ? _a : undefined
-        };
+    getTokenAt(offset) {
+        const tree = ensureSyntaxTree(this.state, offset);
+        if (tree) {
+            const node = tree.resolveInner(offset);
+            return {
+                value: this.state.sliceDoc(node.from, node.to),
+                offset: node.from,
+                type: node.name
+            };
+        }
+        else {
+            return {
+                value: '',
+                offset: offset
+            };
+        }
+    }
+    /**
+     * Get the token a the cursor position.
+     */
+    getTokenAtCursor() {
+        return this.getTokenAt(this.state.selection.main.head);
     }
     /**
      * Insert a new indented line at the current cursor position.
      */
     newIndentedLine() {
-        this.execCommand('newlineAndIndent');
+        insertNewlineAndIndent({
+            state: this.state,
+            dispatch: this.editor.dispatch
+        });
     }
     /**
      * Execute a codemirror command on the editor.
@@ -603,31 +589,28 @@ export class CodeMirrorEditor {
      * @param command - The name of the command to execute.
      */
     execCommand(command) {
-        this._editor.execCommand(command);
+        command(this.editor);
     }
     /**
      * Handle keydown events from the editor.
      */
     onKeydown(event) {
-        const position = this.getCursorPosition();
-        const { line, column } = position;
-        if (line === 0 && column === 0 && event.keyCode === UP_ARROW) {
+        const position = this.state.selection.main.head;
+        if (position === 0 && event.keyCode === UP_ARROW) {
             if (!event.shiftKey) {
                 this.edgeRequested.emit('top');
             }
             return false;
         }
-        if (line === 0 && event.keyCode === UP_ARROW) {
+        const line = this.doc.lineAt(position).number;
+        if (line === 1 && event.keyCode === UP_ARROW) {
             if (!event.shiftKey) {
                 this.edgeRequested.emit('topLine');
             }
             return false;
         }
-        const lastLine = this.lineCount - 1;
-        const lastCh = this.getLine(lastLine).length;
-        if (line === lastLine &&
-            column === lastCh &&
-            event.keyCode === DOWN_ARROW) {
+        const length = this.doc.length;
+        if (position === length && event.keyCode === DOWN_ARROW) {
             if (!event.shiftKey) {
                 this.edgeRequested.emit('bottom');
             }
@@ -635,36 +618,16 @@ export class CodeMirrorEditor {
         }
         return false;
     }
-    /**
-     * Converts selections to code mirror selections.
-     */
-    _toCodeMirrorSelections(selections) {
-        if (selections.length > 0) {
-            return selections.map(selection => this._toCodeMirrorSelection(selection));
-        }
-        const position = { line: 0, ch: 0 };
-        return [{ anchor: position, head: position }];
-    }
     /**
      * Handles a mime type change.
      */
     _onMimeTypeChanged() {
         const mime = this._model.mimeType;
-        const editor = this._editor;
-        const extraKeys = (editor.getOption('extraKeys') ||
-            {});
-        const isCode = mime !== 'text/plain' && mime !== 'text/x-ipythongfm';
-        if (isCode) {
-            extraKeys['Backspace'] = 'delSpaceToPrevTabStop';
-        }
-        else {
-            delete extraKeys['Backspace'];
-        }
-        this.setOption('extraKeys', extraKeys);
         // TODO: should we provide a hook for when the mode is done being set?
         void Mode.ensure(mime).then(spec => {
-            var _a;
-            this.setOption('mode', (_a = spec === null || spec === void 0 ? void 0 : spec.mime) !== null && _a !== void 0 ? _a : 'null');
+            if (spec) {
+                this._editorConfig.reconfigureExtension(this._editor, 'language', spec.support);
+            }
         });
     }
     /**
@@ -683,19 +646,15 @@ export class CodeMirrorEditor {
      * Clean selections for the given uuid.
      */
     _cleanSelections(uuid) {
-        const markers = this.selectionMarkers[uuid];
-        if (markers) {
-            markers.forEach(marker => {
-                marker.clear();
-            });
-        }
-        delete this.selectionMarkers[uuid];
+        this.editor.dispatch({
+            effects: this._removeMark.of({
+                uuid: uuid,
+                decorations: this._selectionMarkers[uuid]
+            })
+        });
     }
-    /**
-     * Marks selections.
-     */
-    _markSelections(uuid, selections) {
-        const markers = [];
+    _buildMarkDecoration(uuid, selections) {
+        const decorations = [];
         // If we are marking selections corresponding to an active hover,
         // remove it.
         if (uuid === this._hoverId) {
@@ -709,34 +668,73 @@ export class CodeMirrorEditor {
         }
         // Style each selection for the uuid.
         selections.forEach(selection => {
+            const from = selection.from;
+            const to = selection.to;
             // Only render selections if the start is not equal to the end.
             // In that case, we don't need to render the cursor.
-            if (!JSONExt.deepEqual(selection.start, selection.end)) {
-                // Selections only appear to render correctly if the anchor
-                // is before the head in the document. That is, reverse selections
-                // do not appear as intended.
-                const forward = selection.start.line < selection.end.line ||
-                    (selection.start.line === selection.end.line &&
-                        selection.start.column <= selection.end.column);
-                const anchor = this._toCodeMirrorPosition(forward ? selection.start : selection.end);
-                const head = this._toCodeMirrorPosition(forward ? selection.end : selection.start);
-                let markerOptions;
-                if (collaborator) {
-                    markerOptions = this._toTextMarkerOptions(Object.assign(Object.assign({}, selection.style), { color: collaborator.color }));
-                }
-                else {
-                    markerOptions = this._toTextMarkerOptions(selection.style);
-                }
-                markers.push(this.doc.markText(anchor, head, markerOptions));
+            if (from !== to) {
+                const style = collaborator
+                    ? Object.assign(Object.assign({}, selection.style), { color: collaborator.color }) : selection.style;
+                const decoration = Decoration.mark({
+                    attributes: this._toMarkSpec(style)
+                });
+                decorations.push(from > to ? decoration.range(to, from) : decoration.range(to, from));
             }
             else if (collaborator) {
-                const caret = this._getCaret(collaborator);
-                markers.push(this.doc.setBookmark(this._toCodeMirrorPosition(selection.end), {
-                    widget: caret
-                }));
+                const caret = Decoration.widget({
+                    widget: this._getCaret(collaborator)
+                });
+                decorations.push(caret.range(from));
             }
         });
-        this.selectionMarkers[uuid] = markers;
+        return decorations;
+    }
+    /**
+     * Converts the selection style to a text marker options.
+     */
+    _toMarkSpec(style) {
+        const r = parseInt(style.color.slice(1, 3), 16);
+        const g = parseInt(style.color.slice(3, 5), 16);
+        const b = parseInt(style.color.slice(5, 7), 16);
+        const css = `background-color: rgba( ${r}, ${g}, ${b}, 0.15)`;
+        return {
+            className: style.className,
+            title: style.displayName,
+            css
+        };
+    }
+    /**
+     * Construct a caret element representing the position
+     * of a collaborator's cursor.
+     */
+    _getCaret(collaborator) {
+        return new Private.CaretWidget(collaborator, {
+            setHoverId: (sessionId) => {
+                this._clearHover();
+                this._hoverId = sessionId;
+            },
+            setHoverTimeout: () => {
+                this._hoverTimeout = window.setTimeout(() => {
+                    this._clearHover();
+                }, HOVER_TIMEOUT);
+            },
+            clearHoverTimeout: () => {
+                window.clearTimeout(this._hoverTimeout);
+            }
+        });
+    }
+    /**
+     * Marks selections.
+     */
+    _markSelections(uuid, selections) {
+        const sel = selections.map(selection => ({
+            from: this.getOffsetAt(selection.start),
+            to: this.getOffsetAt(selection.end),
+            style: selection.style
+        }));
+        this.editor.dispatch({
+            effects: this._addMark.of({ uuid: uuid, selections: sel })
+        });
     }
     /**
      * Handles a cursor activity event.
@@ -744,7 +742,7 @@ export class CodeMirrorEditor {
     _onCursorActivity() {
         // Only add selections if the editor has focus. This avoids unwanted
         // triggering of cursor activity due to collaborator actions.
-        if (this._editor.hasFocus()) {
+        if (this._editor.hasFocus) {
             const selections = this.getSelections();
             this.model.selections.set(this.uuid, selections);
         }
@@ -760,29 +758,6 @@ export class CodeMirrorEditor {
             style: this.selectionStyle
         };
     }
-    /**
-     * Converts the selection style to a text marker options.
-     */
-    _toTextMarkerOptions(style) {
-        const r = parseInt(style.color.slice(1, 3), 16);
-        const g = parseInt(style.color.slice(3, 5), 16);
-        const b = parseInt(style.color.slice(5, 7), 16);
-        const css = `background-color: rgba( ${r}, ${g}, ${b}, 0.15)`;
-        return {
-            className: style.className,
-            title: style.displayName,
-            css
-        };
-    }
-    /**
-     * Converts an editor selection to a code mirror selection.
-     */
-    _toCodeMirrorSelection(selection) {
-        return {
-            anchor: this._toCodeMirrorPosition(selection.start),
-            head: this._toCodeMirrorPosition(selection.end)
-        };
-    }
     /**
      * Convert a code mirror position to an editor position.
      */
@@ -801,60 +776,16 @@ export class CodeMirrorEditor {
             ch: position.column
         };
     }
-    /**
-     * Handle model value changes.
-     */
-    _onValueChanged(value, args) {
-        if (this._changeGuard) {
-            return;
-        }
-        this._changeGuard = true;
-        const doc = this.doc;
-        switch (args.type) {
-            case 'insert': {
-                const pos = doc.posFromIndex(args.start);
-                // Replace the range, including a '+input' origin,
-                // which indicates that CodeMirror may merge changes
-                // for undo/redo purposes.
-                doc.replaceRange(args.value, pos, pos, '+input');
-                break;
-            }
-            case 'remove': {
-                const from = doc.posFromIndex(args.start);
-                const to = doc.posFromIndex(args.end);
-                // Replace the range, including a '+input' origin,
-                // which indicates that CodeMirror may merge changes
-                // for undo/redo purposes.
-                doc.replaceRange('', from, to, '+input');
-                break;
-            }
-            case 'set':
-                doc.setValue(args.value);
-                break;
-            default:
-                break;
-        }
-        this._changeGuard = false;
-    }
     /**
      * Handles document changes.
      */
-    _beforeDocChanged(doc, change) {
-        if (this._changeGuard) {
-            return;
-        }
-        this._changeGuard = true;
-        const value = this._model.value;
-        const start = doc.indexFromPos(change.from);
-        const end = doc.indexFromPos(change.to);
-        const inserted = change.text.join('\n');
-        if (end !== start) {
-            value.remove(start, end);
+    _onDocChanged(update) {
+        if (update.transactions.length && update.transactions[0].selection) {
+            this._onCursorActivity();
         }
-        if (inserted) {
-            value.insert(start, inserted);
+        if (update.docChanged) {
+            this._lastChange = update.changes;
         }
-        this._changeGuard = false;
     }
     /**
      * Handle the DOM events for the editor.
@@ -885,9 +816,6 @@ export class CodeMirrorEditor {
      * Handle `focus` events for the editor.
      */
     _evtFocus(event) {
-        if (this._needsRefresh) {
-            this.refresh();
-        }
         this.host.classList.add('jp-mod-focused');
         // Update the selections on editor gaining focus because
         // the onCursorActivity function filters usual cursor events
@@ -919,49 +847,6 @@ export class CodeMirrorEditor {
             this._caretHover = null;
         }
     }
-    /**
-     * Construct a caret element representing the position
-     * of a collaborator's cursor.
-     */
-    _getCaret(collaborator) {
-        // FIXME-TRANS: Is this localizable?
-        const name = collaborator ? collaborator.displayName : 'Anonymous';
-        const color = collaborator
-            ? collaborator.color
-            : this._selectionStyle.color;
-        const caret = document.createElement('span');
-        caret.className = COLLABORATOR_CURSOR_CLASS;
-        caret.style.borderBottomColor = color;
-        caret.onmouseenter = () => {
-            this._clearHover();
-            this._hoverId = collaborator.sessionId;
-            const rect = caret.getBoundingClientRect();
-            // Construct and place the hover box.
-            const hover = document.createElement('div');
-            hover.className = COLLABORATOR_HOVER_CLASS;
-            hover.style.left = String(rect.left) + 'px';
-            hover.style.top = String(rect.bottom) + 'px';
-            hover.textContent = name;
-            hover.style.backgroundColor = color;
-            // If the user mouses over the hover, take over the timer.
-            hover.onmouseenter = () => {
-                window.clearTimeout(this._hoverTimeout);
-            };
-            hover.onmouseleave = () => {
-                this._hoverTimeout = window.setTimeout(() => {
-                    this._clearHover();
-                }, HOVER_TIMEOUT);
-            };
-            this._caretHover = hover;
-            document.body.appendChild(hover);
-        };
-        caret.onmouseleave = () => {
-            this._hoverTimeout = window.setTimeout(() => {
-                this._clearHover();
-            }, HOVER_TIMEOUT);
-        };
-        return caret;
-    }
     /**
      * Check for an out of sync editor.
      */
@@ -971,9 +856,8 @@ export class CodeMirrorEditor {
             return;
         }
         this._lastChange = null;
-        const editor = this._editor;
-        const doc = editor.getDoc();
-        if (doc.getValue() === this._model.value.text) {
+        const doc = this.doc;
+        if (doc.toString() === this._model.value.text) {
             return;
         }
         void showDialog({
@@ -983,11 +867,10 @@ export class CodeMirrorEditor {
         console.warn('If you are able and willing to publicly share the text or code in your editor, you can help us debug the "Code Editor out of Sync" message by pasting the following to the public issue at https://github.com/jupyterlab/jupyterlab/issues/2951. Please note that the data below includes the text/code in your editor.');
         console.warn(JSON.stringify({
             model: this._model.value.text,
-            view: doc.getValue(),
+            view: doc.toString(),
             selections: this.getSelections(),
             cursor: this.getCursorPosition(),
-            lineSep: editor.getOption('lineSeparator'),
-            mode: editor.getOption('mode'),
+            lineSep: this.state.facet(EditorState.lineSeparator),
             change
         }));
     }
@@ -999,222 +882,98 @@ export class CodeMirrorEditor {
     /**
      * The default configuration options for an editor.
      */
-    CodeMirrorEditor.defaultConfig = Object.assign(Object.assign({}, CodeEditor.defaultConfig), { mode: 'null', theme: 'jupyter', smartIndent: true, electricChars: true, keyMap: 'default', extraKeys: null, gutters: [], fixedGutter: true, showCursorWhenSelecting: false, coverGutterNextToScrollbar: false, dragDrop: true, lineSeparator: null, scrollbarStyle: 'native', lineWiseCopyCut: true, scrollPastEnd: false, styleActiveLine: false, styleSelectedText: true, selectionPointer: false, rulers: [], foldGutter: false, handlePaste: true });
+    CodeMirrorEditor.defaultConfig = Object.assign(Object.assign({}, CodeEditor.defaultConfig), { mode: 'null', theme: 'jupyter', smartIndent: true, electricChars: true, keyMap: 'default', extraKeys: null, gutters: [], fixedGutter: true, showCursorWhenSelecting: false, coverGutterNextToScrollbar: false, dragDrop: true, lineSeparator: null, scrollbarStyle: 'native', lineWiseCopyCut: true, scrollPastEnd: false, styleActiveLine: false, styleSelectedText: true, selectionPointer: false, handlePaste: true });
     /**
-     * Add a command to CodeMirror.
-     *
-     * @param name - The name of the command to add.
-     *
-     * @param command - The command function.
+     * Indent or insert a tab as appropriate.
      */
-    function addCommand(name, command) {
-        CodeMirror.commands[name] = command;
+    function indentMoreOrInsertTab(target) {
+        const arg = { state: target.state, dispatch: target.dispatch };
+        const from = target.state.selection.main.from;
+        const to = target.state.selection.main.to;
+        if (from != to) {
+            return indentMore(arg);
+        }
+        const line = target.state.doc.lineAt(from);
+        const before = target.state.doc.slice(line.from, from).toString();
+        if (/^\s*$/.test(before)) {
+            return indentMore(arg);
+        }
+        else {
+            return insertTab(arg);
+        }
     }
-    CodeMirrorEditor.addCommand = addCommand;
+    CodeMirrorEditor.indentMoreOrInsertTab = indentMoreOrInsertTab;
 })(CodeMirrorEditor || (CodeMirrorEditor = {}));
 /**
  * The namespace for module private data.
  */
 var Private;
 (function (Private) {
-    function createEditor(host, config) {
-        const { autoClosingBrackets, fontFamily, fontSize, insertSpaces, lineHeight, lineWrap, wordWrapColumn, tabSize, readOnly } = config, otherOptions = __rest(config, ["autoClosingBrackets", "fontFamily", "fontSize", "insertSpaces", "lineHeight", "lineWrap", "wordWrapColumn", "tabSize", "readOnly"]);
-        const bareConfig = Object.assign({ autoCloseBrackets: autoClosingBrackets ? {} : false, indentUnit: tabSize, indentWithTabs: !insertSpaces, lineWrapping: lineWrap === 'off' ? false : true, readOnly }, otherOptions);
-        return CodeMirror(el => {
-            if (fontFamily) {
-                el.style.fontFamily = fontFamily;
-            }
-            if (fontSize) {
-                el.style.fontSize = fontSize + 'px';
-            }
-            if (lineHeight) {
-                el.style.lineHeight = lineHeight.toString();
-            }
-            if (readOnly) {
-                el.classList.add(READ_ONLY_CLASS);
-            }
-            if (lineWrap === 'wordWrapColumn') {
-                const lines = el.querySelector('.CodeMirror-lines');
-                lines.style.width = `${wordWrapColumn}ch`;
-            }
-            if (lineWrap === 'bounded') {
-                const lines = el.querySelector('.CodeMirror-lines');
-                lines.style.maxWidth = `${wordWrapColumn}ch`;
-            }
-            host.appendChild(el);
-        }, bareConfig);
-    }
-    Private.createEditor = createEditor;
-    /**
-     * Indent or insert a tab as appropriate.
-     */
-    function indentMoreOrinsertTab(cm) {
-        const doc = cm.getDoc();
-        const from = doc.getCursor('from');
-        const to = doc.getCursor('to');
-        const sel = !posEq(from, to);
-        if (sel) {
-            CodeMirror.commands['indentMore'](cm);
-            return;
-        }
-        // Check for start of line.
-        const line = doc.getLine(from.line);
-        const before = line.slice(0, from.ch);
-        if (/^\s*$/.test(before)) {
-            CodeMirror.commands['indentMore'](cm);
+    function createEditor(host, config, ybinding, editorConfig, additionalExtensions) {
+        var _a;
+        const extensions = editorConfig.getInitialExtensions(config);
+        if (ybinding) {
+            extensions.push(yCollab(ybinding.text, ybinding.awareness, {
+                undoManager: (_a = ybinding.undoManager) !== null && _a !== void 0 ? _a : false
+            }));
         }
-        else {
-            if (cm.getOption('indentWithTabs')) {
-                CodeMirror.commands['insertTab'](cm);
-            }
-            else {
-                CodeMirror.commands['insertSoftTab'](cm);
-            }
+        extensions.push(...additionalExtensions);
+        const doc = ybinding === null || ybinding === void 0 ? void 0 : ybinding.text.toString();
+        const view = new EditorView({
+            state: EditorState.create({
+                doc,
+                extensions
+            }),
+            parent: host
+        });
+        if (config.readOnly) {
+            view.dom.classList.add(READ_ONLY_CLASS);
         }
+        return view;
     }
-    Private.indentMoreOrinsertTab = indentMoreOrinsertTab;
-    /**
-     * Delete spaces to the previous tab stop in a codemirror editor.
-     */
-    function delSpaceToPrevTabStop(cm) {
-        var _a;
-        const doc = cm.getDoc();
-        // default tabsize is 2, according to codemirror docs: https://codemirror.net/doc/manual.html#config
-        const tabSize = (_a = cm.getOption('indentUnit')) !== null && _a !== void 0 ? _a : 2;
-        const ranges = doc.listSelections(); // handle multicursor
-        for (let i = ranges.length - 1; i >= 0; i--) {
-            // iterate reverse so any deletions don't overlap
-            const head = ranges[i].head;
-            const anchor = ranges[i].anchor;
-            const isSelection = !posEq(head, anchor);
-            if (isSelection) {
-                doc.replaceRange('', anchor, head);
-            }
-            else {
-                const line = doc.getLine(head.line).substring(0, head.ch);
-                if (line.match(/^\ +$/) !== null) {
-                    // delete tabs
-                    const prevTabStop = (Math.ceil(head.ch / tabSize) - 1) * tabSize;
-                    const from = CodeMirror.Pos(head.line, prevTabStop);
-                    doc.replaceRange('', from, head);
-                }
-                else {
-                    // delete non-tabs
-                    const from = cm.findPosH(head, -1, 'char', false);
-                    doc.replaceRange('', from, head);
-                }
-            }
+    Private.createEditor = createEditor;
+    class CaretWidget extends WidgetType {
+        constructor(collaborator, callbacks) {
+            super();
+            this.collaborator = collaborator;
+            this.callbacks = callbacks;
+        }
+        eq(other) {
+            return this.collaborator.sessionId == other.collaborator.sessionId;
+        }
+        toDOM() {
+            const caret = document.createElement('span');
+            caret.className = COLLABORATOR_CURSOR_CLASS;
+            caret.style.borderBottomColor = this.collaborator.color;
+            // TODO: check if this should be replaced with
+            // a global event handler
+            caret.onmouseenter = () => {
+                this.callbacks.setHoverId(this.collaborator.sessionId);
+                const rect = caret.getBoundingClientRect();
+                // Construct and place the hover box.
+                const hover = document.createElement('div');
+                hover.className = COLLABORATOR_HOVER_CLASS;
+                hover.style.left = `${rect.left}px`;
+                hover.style.top = `${rect.bottom}px`;
+                hover.textContent = this.collaborator.displayName;
+                hover.style.backgroundColor = this.collaborator.color;
+                // If the user mouses over the hover, take over the timer.
+                hover.onmouseenter = () => {
+                    this.callbacks.clearHoverTimeout();
+                };
+                hover.onmouseleave = () => {
+                    this.callbacks.setHoverTimeout();
+                };
+            };
+            caret.onmouseleave = () => {
+                this.callbacks.setHoverTimeout();
+            };
+            return caret;
         }
-    }
-    Private.delSpaceToPrevTabStop = delSpaceToPrevTabStop;
-    /**
-     * Test whether two CodeMirror positions are equal.
-     */
-    function posEq(a, b) {
-        return a.line === b.line && a.ch === b.ch;
-    }
-    Private.posEq = posEq;
-    /**
-     * Get the list of active gutters
-     *
-     * @param config Editor configuration
-     */
-    function getActiveGutters(config) {
-        // The order of the classes will be the gutters order
-        const classToSwitch = {
-            'CodeMirror-linenumbers': 'lineNumbers',
-            'CodeMirror-foldgutter': 'codeFolding'
-        };
-        return Object.keys(classToSwitch).filter(gutter => config[classToSwitch[gutter]]);
-    }
-    /**
-     * Set a config option for the editor.
-     */
-    function setOption(editor, option, value, config) {
-        const el = editor.getWrapperElement();
-        switch (option) {
-            case 'cursorBlinkRate':
-                editor.setOption(option, value);
-                break;
-            case 'lineWrap': {
-                const lineWrapping = value === 'off' ? false : true;
-                const lines = el.querySelector('.CodeMirror-lines');
-                const maxWidth = value === 'bounded' ? `${config.wordWrapColumn}ch` : null;
-                const width = value === 'wordWrapColumn' ? `${config.wordWrapColumn}ch` : null;
-                lines.style.setProperty('max-width', maxWidth);
-                lines.style.setProperty('width', width);
-                editor.setOption('lineWrapping', lineWrapping);
-                break;
-            }
-            case 'wordWrapColumn': {
-                const { lineWrap } = config;
-                if (lineWrap === 'wordWrapColumn' || lineWrap === 'bounded') {
-                    const lines = el.querySelector('.CodeMirror-lines');
-                    const prop = lineWrap === 'wordWrapColumn' ? 'width' : 'maxWidth';
-                    lines.style[prop] = `${value}ch`;
-                }
-                break;
-            }
-            case 'tabSize':
-                editor.setOption('indentUnit', value);
-                break;
-            case 'insertSpaces':
-                editor.setOption('indentWithTabs', !value);
-                break;
-            case 'autoClosingBrackets':
-                editor.setOption('autoCloseBrackets', value);
-                break;
-            case 'rulers': {
-                const rulers = value;
-                editor.setOption('rulers', rulers.map(column => {
-                    return {
-                        column,
-                        className: 'jp-CodeMirror-ruler'
-                    };
-                }));
-                break;
-            }
-            case 'readOnly':
-                el.classList.toggle(READ_ONLY_CLASS, value);
-                editor.setOption(option, value);
-                break;
-            case 'fontFamily':
-                el.style.fontFamily = value;
-                break;
-            case 'fontSize':
-                el.style.setProperty('font-size', value ? value + 'px' : null);
-                break;
-            case 'lineHeight':
-                el.style.lineHeight = (value ? value.toString() : null);
-                break;
-            case 'gutters':
-                editor.setOption(option, getActiveGutters(config));
-                break;
-            case 'lineNumbers':
-                editor.setOption(option, value);
-                editor.setOption('gutters', getActiveGutters(config));
-                break;
-            case 'codeFolding':
-                editor.setOption('foldGutter', value);
-                editor.setOption('gutters', getActiveGutters(config));
-                break;
-            case 'showTrailingSpace':
-                editor.setOption(option, value);
-                break;
-            default:
-                editor.setOption(option, value);
-                break;
+        ignoreEvent() {
+            return false;
         }
     }
-    Private.setOption = setOption;
+    Private.CaretWidget = CaretWidget;
 })(Private || (Private = {}));
-/**
- * Add a CodeMirror command to delete until previous non blanking space
- * character or first multiple of tabsize tabstop.
- */
-CodeMirrorEditor.addCommand('delSpaceToPrevTabStop', Private.delSpaceToPrevTabStop);
-/**
- * Add a CodeMirror command to indent or insert a tab as appropriate.
- */
-CodeMirrorEditor.addCommand('indentMoreOrinsertTab', Private.indentMoreOrinsertTab);
 //# sourceMappingURL=editor.js.map