Method constructor

src/jupyterlabPlugin.ts:28–74

(
    readonly extensionId: string,
    app: JupyterFrontEnd,
    notebookTracker: INotebookTracker,
    editorTracker: IEditorTracker,
    documentManager: IDocumentManager,
    codeMirror: ICodeMirror
  )

  codeMirrorManager: CodeMirrorManager;

  constructor(
    readonly extensionId: string,
    app: JupyterFrontEnd,
    notebookTracker: INotebookTracker,
    editorTracker: IEditorTracker,
    documentManager: IDocumentManager,
    codeMirror: ICodeMirror
  ) {
    this.app = app;
    this.notebookTracker = notebookTracker;
    this.editorTracker = editorTracker;
    this.documentManager = documentManager;
    this.codeMirrorManager = new CodeMirrorManager(extensionId, {
      ideName: 'jupyterlab',
      ideVersion: `${app.name.toLowerCase()} ${app.version}`,
    });
    addListeners(codeMirror.CodeMirror, this.codeMirrorManager);
    // The keyboard shortcuts for these commands are added and removed depending
    // on the presence of ghost text, since they cannot defer to a shortcut on a
    // parent element.
    app.commands.addCommand(COMMAND_ACCEPT, {
      execute: () => {
        this.codeMirrorManager.acceptCompletion();
      },
    });
    app.commands.addCommand(COMMAND_DISMISS, {
      execute: () => {
        this.codeMirrorManager.clearCompletion('user dismissed');
      },
    });
    const keyboardHandler = this.keydownHandler.bind(this);
    // There is no cellAdded listener, so resort to maintaining a single
    // listener for all cells.
    notebookTracker.activeCellChanged.connect((_notebookTracker, cell) => {
      this.previousCellHandler?.dispose();
      this.previousCellHandler = undefined;
      if (cell === null) {
        return;
      }
      this.previousCellHandler = cell.editor.addKeydownHandler(keyboardHandler);
    }, this);
    editorTracker.widgetAdded.connect((_editorTracker, widget) => {
      widget.content.editor.addKeydownHandler(keyboardHandler);
      this.nonNotebookWidget.add(widget.id);
      widget.disposed.connect(this.removeNonNotebookWidget, this);
    }, this);
  }

  removeNonNotebookWidget(w: Widget) {
    this.nonNotebookWidget.delete(w.id);