import 'codemirror/addon/edit/matchbrackets.js'; import 'codemirror/addon/edit/closebrackets.js'; import 'codemirror/addon/comment/comment.js'; import 'codemirror/keymap/vim.js'; import { JupyterLabPlugin } from '../application'; import { IEditorServices } from '../codeeditor'; /** * The editor services. */ export declare const servicesPlugin: JupyterLabPlugin; /** * The editor commands. */ export declare const commandsPlugin: JupyterLabPlugin; /** * Export the plugins as default. */ declare const plugins: JupyterLabPlugin[]; export default plugins; /** * The command IDs used by the editor plugin. */ export declare namespace CommandIDs { const lineNumbers = "editor:line-numbers"; const lineWrap = "editor:line-wrap"; const matchBrackets = "editor:match-brackets"; const vimMode = "editor:vim-mode"; const changeTheme = "editor:change-theme"; const createConsole = "editor:create-console"; const runCode = "editor:run-code"; }