jupyterlab-emrys/lib/editorwidget/plugin.d.ts

A computational environment for Jupyter. Powered by Emrys

import { Application } from 'phosphide/lib/core/application';
import { DocumentRegistry } from '../docregistry';
import { EditorWidget } from './widget';
import { MainMenu } from '../mainmenu/plugin';
import { WidgetTracker } from '../widgettracker';
import 'codemirror/theme/material.css';
import 'codemirror/theme/zenburn.css';
import 'codemirror/theme/abcdef.css';
import 'codemirror/theme/base16-light.css';
import 'codemirror/theme/base16-dark.css';
import 'codemirror/theme/dracula.css';
import 'codemirror/theme/hopscotch.css';
import 'codemirror/theme/mbo.css';
import 'codemirror/theme/mdn-like.css';
import 'codemirror/theme/seti.css';
import 'codemirror/theme/the-matrix.css';
import 'codemirror/theme/xq-light.css';
import 'codemirror/addon/edit/matchbrackets.js';
import 'codemirror/addon/edit/closebrackets.js';
import 'codemirror/addon/comment/comment.js';
import 'codemirror/keymap/vim.js';
export declare class EditorTracker extends WidgetTracker<EditorWidget> {
}
export declare let tracker: EditorTracker;
/**
 * The editor handler extension.
 */
export declare const editorHandlerExtension: {
    id: string;
    requires: (typeof DocumentRegistry | typeof MainMenu)[];
    activate: (app: Application, registry: DocumentRegistry, mainMenu: MainMenu) => void;
};
/**
 * The editor widget tracker provider
 */
export declare const editorTrackerProvider: {
    id: string;
    provides: typeof EditorTracker;
    resolve: () => EditorTracker;
};