@jupyterlab/codemirror 4.0.0-alpha.19 → 4.0.0-alpha.20

package/lib/codemirror-ipythongfm.d.ts

@@ -1,4 +1,3 @@
-export {};
 /**
  * Define an IPython GFM (GitHub Flavored Markdown) mode.
  *

package/lib/codemirror-ipythongfm.js

@@ -1,13 +1,5 @@
 // Copyright (c) Jupyter Development Team.
 // Distributed under the terms of the Modified BSD License.
-import { Mode } from './mode';
-Mode.registerModeInfo({
-    name: 'ipythongfm',
-    mime: 'text/x-ipythongfm',
-    load: () => {
-        return import('@codemirror/lang-markdown').then(m => m.markdown({ codeLanguages: Mode.getModeInfo() }));
-    }
-});
 // TODO: add support for LaTeX
 // This should be coded as an extension for https://github.com/lezer-parser/markdown
 // see https://github.com/lezer-parser/markdown/blob/main/src/extension.ts for examples

package/lib/codemirror-ipythongfm.js.map

@@ -1 +1 @@
-{"version":3,"file":"codemirror-ipythongfm.js","sourceRoot":"","sources":["../src/codemirror-ipythongfm.ts"],"names":[],"mappings":"AAAA,0CAA0C;AAC1C,2DAA2D;AAE3D,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAE9B,IAAI,CAAC,gBAAgB,CAAC;IACpB,IAAI,EAAE,YAAY;IAClB,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,GAAG,EAAE;QACT,OAAO,MAAM,CAAC,2BAA2B,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAClD,CAAC,CAAC,QAAQ,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,WAAW,EAAS,EAAE,CAAC,CACzD,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,8BAA8B;AAC9B,oFAAoF;AACpF,uFAAuF;AACvF,oEAAoE;AACpE,EAAE;AACF,gBAAgB;AAChB,2FAA2F;AAC3F,IAAI;AAEJ;;;;EAIE;AACF;;;;;;;;GAQG;AACH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAkFK"}
+{"version":3,"file":"codemirror-ipythongfm.js","sourceRoot":"","sources":["../src/codemirror-ipythongfm.ts"],"names":[],"mappings":"AAAA,0CAA0C;AAC1C,2DAA2D;AAE3D,8BAA8B;AAC9B,oFAAoF;AACpF,uFAAuF;AACvF,oEAAoE;AACpE,EAAE;AACF,gBAAgB;AAChB,2FAA2F;AAC3F,IAAI;AAEJ;;;;EAIE;AACF;;;;;;;;GAQG;AACH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAkFK"}

package/lib/commands.d.ts

@@ -0,0 +1,13 @@
+import { EditorState, Transaction } from '@codemirror/state';
+/**
+ * CodeMirror commands namespace
+ */
+export declare namespace StateCommands {
+    /**
+     * Indent or insert a tab as appropriate.
+     */
+    function indentMoreOrInsertTab(target: {
+        state: EditorState;
+        dispatch: (transaction: Transaction) => void;
+    }): boolean;
+}

package/lib/commands.js

@@ -0,0 +1,32 @@
+/*
+ * Copyright (c) Jupyter Development Team.
+ * Distributed under the terms of the Modified BSD License.
+ */
+import { indentMore, insertTab } from '@codemirror/commands';
+/**
+ * CodeMirror commands namespace
+ */
+export var StateCommands;
+(function (StateCommands) {
+    /**
+     * Indent or insert a tab as appropriate.
+     */
+    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);
+        }
+    }
+    StateCommands.indentMoreOrInsertTab = indentMoreOrInsertTab;
+})(StateCommands || (StateCommands = {}));
+//# sourceMappingURL=commands.js.map

package/lib/commands.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"commands.js","sourceRoot":"","sources":["../src/commands.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAG7D;;GAEG;AACH,MAAM,KAAW,aAAa,CAsB7B;AAtBD,WAAiB,aAAa;IAC5B;;OAEG;IACH,SAAgB,qBAAqB,CAAC,MAGrC;QACC,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,IAAI,IAAI,IAAI,EAAE,EAAE;YACd,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC;SACxB;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAClE,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;YACxB,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC;SACxB;aAAM;YACL,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC;SACvB;IACH,CAAC;IAjBe,mCAAqB,wBAiBpC,CAAA;AACH,CAAC,EAtBgB,aAAa,KAAb,aAAa,QAsB7B"}

package/lib/editor.d.ts

@@ -1,12 +1,9 @@
+import { EditorState, Extension, StateCommand, Text } from '@codemirror/state';
+import { Command, EditorView } from '@codemirror/view';
 import { CodeEditor } from '@jupyterlab/codeeditor';
-import { ITranslator } from '@jupyterlab/translation';
-import { IDisposable } from '@lumino/disposable';
 import { Signal } from '@lumino/signaling';
-import { EditorState, Extension, StateCommand, Text, Transaction } from '@codemirror/state';
-import { Command, EditorView } from '@codemirror/view';
-import './codemirror-ipython';
 import './codemirror-ipythongfm';
-import { Configuration } from './editorconfiguration';
+import { IEditorExtensionRegistry, IEditorLanguageRegistry, IExtensionsHandler } from './token';
 /**
  * CodeMirror editor.
  */
@@ -15,11 +12,6 @@ export declare class CodeMirrorEditor implements CodeEditor.IEditor {
      * Construct a CodeMirror editor.
      */
     constructor(options: CodeMirrorEditor.IOptions);
-    /**
-     * Initialize the editor binding.
-     */
-    private _initializeEditorBinding;
-    save: () => void;
     /**
      * A signal emitted when either the top or bottom edge is requested.
      */
@@ -68,11 +60,15 @@ export declare class CodeMirrorEditor implements CodeEditor.IEditor {
     /**
      * Get a config option for the editor.
      */
-    getOption<K extends keyof CodeMirrorEditor.IConfig>(option: K): CodeMirrorEditor.IConfig[K];
+    getOption(option: string): unknown;
+    /**
+     * Whether the option exists or not.
+     */
+    hasOption(option: string): boolean;
     /**
      * Set a config option for the editor.
      */
-    setOption<K extends keyof CodeMirrorEditor.IConfig>(option: K, value: CodeMirrorEditor.IConfig[K]): void;
+    setOption(option: string, value: unknown): void;
     /**
      * Set config options for the editor.
      *
@@ -81,7 +77,14 @@ export declare class CodeMirrorEditor implements CodeEditor.IEditor {
      * the costly update at the end, and not after every option
      * is set.
      */
-    setOptions(options: Partial<CodeMirrorEditor.IConfig>): void;
+    setOptions(options: Record<string, any>): void;
+    /**
+     * Inject an extension into the editor
+     *
+     * @alpha
+     * @experimental
+     * @param ext CodeMirror 6 extension
+     */
     injectExtension(ext: Extension): void;
     /**
      * Returns the content for the given line number.
@@ -119,11 +122,6 @@ export declare class CodeMirrorEditor implements CodeEditor.IEditor {
      * Explicitly blur the editor.
      */
     blur(): void;
-    /**
-     * Refresh the editor if it is focused;
-     * otherwise postpone refreshing till focusing.
-     */
-    resizeToFit(): void;
     get state(): EditorState;
     firstLine(): number;
     lastLine(): number;
@@ -139,14 +137,6 @@ export declare class CodeMirrorEditor implements CodeEditor.IEditor {
         line: number;
         ch: number;
     }, separator?: string): string;
-    /**
-     * Add a keydown handler to the editor.
-     *
-     * @param handler - A keydown handler.
-     *
-     * @returns A disposable that can be used to remove the handler.
-     */
-    addKeydownHandler(handler: CodeEditor.KeydownHandler): IDisposable;
     /**
      * Reveal the given position in the editor.
      */
@@ -231,6 +221,7 @@ export declare class CodeMirrorEditor implements CodeEditor.IEditor {
      * @param command - The name of the command to execute.
      */
     execCommand(command: Command | StateCommand): void;
+    protected onConfigChanged(configurator: IExtensionsHandler, changes: Record<string, any>): void;
     /**
      * Handle keydown events from the editor.
      */
@@ -278,59 +269,29 @@ export declare class CodeMirrorEditor implements CodeEditor.IEditor {
      * Handle `blur` events for the editor.
      */
     private _evtBlur;
-    /**
-     * Handle `scroll` events for the editor.
-     */
-    private _evtScroll;
-    /**
-     * Clear the hover for a caret, due to things like
-     * scrolling, resizing, deactivation, etc, where
-     * the position is no longer valid.
-     */
-    private _clearHover;
-    protected translator: ITranslator;
-    private _trans;
-    private _model;
+    private _configurator;
     private _editor;
-    private _caretHover;
-    private _config;
-    private _hoverTimeout;
-    private _keydownHandlers;
-    private _uuid;
     private _isDisposed;
-    private _yeditorBinding;
-    private _editorConfig;
+    private _language;
+    private _languages;
+    private _model;
+    private _uuid;
 }
 /**
  * The namespace for `CodeMirrorEditor` statics.
  */
 export declare namespace CodeMirrorEditor {
-    interface IConfig extends Configuration.IConfig {
-    }
     /**
      * The options used to initialize a code mirror editor.
      */
     interface IOptions extends CodeEditor.IOptions {
         /**
-         * The configuration options for the editor.
+         * CodeMirror extensions registry
          */
-        config?: Partial<IConfig>;
-    }
-    /**
-     * The options used to set several options at once with reconfigure.
-     */
-    interface IConfigOptions<K extends keyof IConfig> {
-        K: IConfig[K];
+        extensionsRegistry?: IEditorExtensionRegistry;
+        /**
+         * CodeMirror languages registry
+         */
+        languages?: IEditorLanguageRegistry;
     }
-    /**
-     * The default configuration options for an editor.
-     */
-    const defaultConfig: Required<IConfig>;
-    /**
-     * Indent or insert a tab as appropriate.
-     */
-    function indentMoreOrInsertTab(target: {
-        state: EditorState;
-        dispatch: (transaction: Transaction) => void;
-    }): boolean;
 }

package/lib/editor.js

@@ -1,31 +1,19 @@
 /* eslint-disable @typescript-eslint/ban-types */
 // Copyright (c) Jupyter Development Team.
 // Distributed under the terms of the Modified BSD License.
-// / <reference types="codemirror"/>
-// / <reference types="codemirror/searchcursor"/>
-import { CodeEditor } from '@jupyterlab/codeeditor';
-import { nullTranslator } from '@jupyterlab/translation';
-import { ArrayExt } from '@lumino/algorithm';
-import { UUID } from '@lumino/coreutils';
-import { DisposableDelegate } from '@lumino/disposable';
-import { Signal } from '@lumino/signaling';
-import { indentMore, insertNewlineAndIndent, insertTab } from '@codemirror/commands';
+import { insertNewlineAndIndent } from '@codemirror/commands';
 import { ensureSyntaxTree } from '@codemirror/language';
-import { EditorSelection, EditorState, Prec } from '@codemirror/state';
+import { Compartment, EditorSelection, EditorState, Prec } from '@codemirror/state';
 import { EditorView } from '@codemirror/view';
-import { yCollab } from 'y-codemirror.next';
-import './codemirror-ipython';
+import { UUID } from '@lumino/coreutils';
+import { Signal } from '@lumino/signaling';
 import './codemirror-ipythongfm';
-import { Configuration } from './editorconfiguration';
-import { Mode } from './mode';
+import { ExtensionsHandler } from './extension';
+import { EditorLanguageRegistry } from './language';
 /**
  * The class name added to CodeMirrorWidget instances.
  */
 const EDITOR_CLASS = 'jp-CodeMirrorEditor';
-/**
- * The class name added to read only cell editor widgets.
- */
-const READ_ONLY_CLASS = 'jp-mod-readOnly';
 /**
  * The key code for the up arrow key.
  */
@@ -42,101 +30,51 @@ export class CodeMirrorEditor {
      * Construct a CodeMirror editor.
      */
     constructor(options) {
+        var _a, _b, _c, _d, _e, _f;
         /**
          * A signal emitted when either the top or bottom edge is requested.
          */
         this.edgeRequested = new Signal(this);
-        this._keydownHandlers = new Array();
-        this._uuid = '';
         this._isDisposed = false;
-        this._editorConfig = new Configuration.EditorConfiguration();
+        this._language = new Compartment();
+        this._uuid = '';
+        this._languages = (_a = options.languages) !== null && _a !== void 0 ? _a : new EditorLanguageRegistry();
+        this._configurator =
+            (_d = (_b = options.extensionsRegistry) === null || _b === void 0 ? void 0 : _b.createNew({
+                ...options,
+                inline: (_c = options.inline) !== null && _c !== void 0 ? _c : false
+            })) !== null && _d !== void 0 ? _d : new ExtensionsHandler();
         const host = (this.host = options.host);
-        this.translator = options.translator || nullTranslator;
-        this._trans = this.translator.load('jupyterlab');
         host.classList.add(EDITOR_CLASS);
         host.classList.add('jp-Editor');
         host.addEventListener('focus', this, true);
         host.addEventListener('blur', this, true);
         host.addEventListener('scroll', this, true);
-        this._uuid = options.uuid || UUID.uuid4();
+        this._uuid = (_e = options.uuid) !== null && _e !== void 0 ? _e : UUID.uuid4();
         const model = (this._model = options.model);
-        const config = options.config || {};
-        const fullConfig = (this._config = {
-            ...CodeMirrorEditor.defaultConfig,
-            ...config
-        });
-        this._initializeEditorBinding();
-        // Extension for handling DOM events
-        const domEventHandlers = EditorView.domEventHandlers({
+        // Default keydown handler - it will have low priority
+        const onKeyDown = 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;
+                return this.onKeydown(event);
             }
         });
         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, [Prec.high(domEventHandlers), updateListener, translation]);
+        this._editor = Private.createEditor(host, this._configurator, [
+            // We need to set the order to high, otherwise the keybinding for ArrowUp/ArrowDown
+            // will process the event shunting our edge detection code.
+            Prec.high(onKeyDown),
+            updateListener,
+            // Initialize with empty extension
+            this._language.of([]),
+            ...((_f = options.extensions) !== null && _f !== void 0 ? _f : [])
+        ], model.sharedModel.source);
         this._onMimeTypeChanged();
         this._onCursorActivity();
+        this._configurator.configChanged.connect(this.onConfigChanged, this);
         model.mimeTypeChanged.connect(this._onMimeTypeChanged, this);
     }
-    /**
-     * Initialize the editor binding.
-     */
-    _initializeEditorBinding() {
-        const sharedModel = this.model.sharedModel;
-        this._yeditorBinding = {
-            text: sharedModel.ysource,
-            awareness: sharedModel.awareness,
-            undoManager: sharedModel.undoManager
-        };
-    }
     /**
      * The uuid of this editor;
      */
@@ -199,7 +137,7 @@ export class CodeMirrorEditor {
         this.host.removeEventListener('focus', this, true);
         this.host.removeEventListener('blur', this, true);
         this.host.removeEventListener('scroll', this, true);
-        this._keydownHandlers.length = 0;
+        this._configurator.dispose();
         Signal.clearData(this);
         this.editor.destroy();
     }
@@ -207,17 +145,19 @@ export class CodeMirrorEditor {
      * Get a config option for the editor.
      */
     getOption(option) {
-        return this._config[option];
+        return this._configurator.getOption(option);
+    }
+    /**
+     * Whether the option exists or not.
+     */
+    hasOption(option) {
+        return this._configurator.hasOption(option);
     }
     /**
      * Set a config option for the editor.
      */
     setOption(option, value) {
-        // Don't bother setting the option if it is already the same.
-        if (this._config[option] !== value) {
-            this._config[option] = value;
-            this._editorConfig.reconfigureExtension(this._editor, option, value);
-        }
+        this._configurator.setOption(option, value);
     }
     /**
      * Set config options for the editor.
@@ -228,11 +168,17 @@ export class CodeMirrorEditor {
      * is set.
      */
     setOptions(options) {
-        this._config = { ...this._config, ...options };
-        this._editorConfig.reconfigureExtensions(this._editor, options);
+        this._configurator.setOptions(options);
     }
+    /**
+     * Inject an extension into the editor
+     *
+     * @alpha
+     * @experimental
+     * @param ext CodeMirror 6 extension
+     */
     injectExtension(ext) {
-        this._editorConfig.injectExtension(this._editor, ext);
+        this._configurator.injectExtension(this._editor, ext);
     }
     /**
      * Returns the content for the given line number.
@@ -273,8 +219,7 @@ export class CodeMirrorEditor {
      * Clear the undo history.
      */
     clearHistory() {
-        var _a, _b;
-        (_b = (_a = this._yeditorBinding) === null || _a === void 0 ? void 0 : _a.undoManager) === null || _b === void 0 ? void 0 : _b.clear();
+        this.model.sharedModel.clearUndoHistory();
     }
     /**
      * Brings browser focus to this editor text.
@@ -294,13 +239,6 @@ export class CodeMirrorEditor {
     blur() {
         this._editor.contentDOM.blur();
     }
-    /**
-     * Refresh the editor if it is focused;
-     * otherwise postpone refreshing till focusing.
-     */
-    resizeToFit() {
-        this._clearHover();
-    }
     get state() {
         return this._editor.state;
     }
@@ -322,19 +260,6 @@ export class CodeMirrorEditor {
         const toOffset = this.getOffsetAt(this._toPosition(to));
         return this.state.sliceDoc(fromOffset, toOffset);
     }
-    /**
-     * Add a keydown handler to the editor.
-     *
-     * @param handler - A keydown handler.
-     *
-     * @returns A disposable that can be used to remove the handler.
-     */
-    addKeydownHandler(handler) {
-        this._keydownHandlers.push(handler);
-        return new DisposableDelegate(() => {
-            ArrayExt.removeAllWhere(this._keydownHandlers, val => val === handler);
-        });
-    }
     /**
      * Reveal the given position in the editor.
      */
@@ -538,6 +463,9 @@ export class CodeMirrorEditor {
     execCommand(command) {
         command(this.editor);
     }
+    onConfigChanged(configurator, changes) {
+        configurator.reconfigureExtensions(this._editor, changes);
+    }
     /**
      * Handle keydown events from the editor.
      */
@@ -569,12 +497,20 @@ export class CodeMirrorEditor {
      * Handles a mime type change.
      */
     _onMimeTypeChanged() {
-        const mime = this._model.mimeType;
         // TODO: should we provide a hook for when the mode is done being set?
-        void Mode.ensure(mime).then(spec => {
-            if (spec) {
-                this._editorConfig.reconfigureExtension(this._editor, 'language', spec.support);
-            }
+        this._languages
+            .getLanguage(this._model.mimeType)
+            .then(language => {
+            var _a;
+            this._editor.dispatch({
+                effects: this._language.reconfigure((_a = language === null || language === void 0 ? void 0 : language.support) !== null && _a !== void 0 ? _a : [])
+            });
+        })
+            .catch(reason => {
+            console.log(`Failed to load language for '${this._model.mimeType}'.`, reason);
+            this._editor.dispatch({
+                effects: this._language.reconfigure([])
+            });
         });
     }
     /**
@@ -642,9 +578,6 @@ export class CodeMirrorEditor {
             case 'blur':
                 this._evtBlur(event);
                 break;
-            case 'scroll':
-                this._evtScroll();
-                break;
             default:
                 break;
         }
@@ -665,91 +598,15 @@ export class CodeMirrorEditor {
     _evtBlur(event) {
         this.host.classList.remove('jp-mod-focused');
     }
-    /**
-     * Handle `scroll` events for the editor.
-     */
-    _evtScroll() {
-        // Remove any active hover.
-        this._clearHover();
-    }
-    /**
-     * Clear the hover for a caret, due to things like
-     * scrolling, resizing, deactivation, etc, where
-     * the position is no longer valid.
-     */
-    _clearHover() {
-        if (this._caretHover) {
-            window.clearTimeout(this._hoverTimeout);
-            document.body.removeChild(this._caretHover);
-            this._caretHover = null;
-        }
-    }
 }
-/**
- * The namespace for `CodeMirrorEditor` statics.
- */
-(function (CodeMirrorEditor) {
-    /**
-     * The default configuration options for an editor.
-     */
-    CodeMirrorEditor.defaultConfig = {
-        ...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
-    };
-    /**
-     * Indent or insert a tab as appropriate.
-     */
-    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.indentMoreOrInsertTab = indentMoreOrInsertTab;
-})(CodeMirrorEditor || (CodeMirrorEditor = {}));
 /**
  * The namespace for module private data.
  */
 var Private;
 (function (Private) {
-    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
-            }));
-        }
+    function createEditor(host, editorConfig, additionalExtensions, doc) {
+        const extensions = editorConfig.getInitialExtensions();
         extensions.push(...additionalExtensions);
-        const doc = ybinding === null || ybinding === void 0 ? void 0 : ybinding.text.toString();
         const view = new EditorView({
             state: EditorState.create({
                 doc,
@@ -757,9 +614,6 @@ var Private;
             }),
             parent: host
         });
-        if (config.readOnly) {
-            view.dom.classList.add(READ_ONLY_CLASS);
-        }
         return view;
     }
     Private.createEditor = createEditor;