Press n or j to go to the next uncovered block, b, p or k for the previous block.
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 | 40x 14x 14x 14x 14x | import { CommandToolbarButton } from '@jupyterlab/apputils';
import { DocumentRegistry } from '@jupyterlab/docregistry';
import { FileEditorPanel } from '@jupyterlab/fileeditor';
import { CommandRegistry } from '@lumino/commands';
import { IDisposable, DisposableDelegate } from '@lumino/disposable';
import { CommandIds, MARKDOWN_MIMETYPES } from '../tokens';
export class EditorDeckExtension
implements
DocumentRegistry.IWidgetExtension<FileEditorPanel, DocumentRegistry.ICodeModel>
{
private _commands: CommandRegistry;
constructor(options: EditorDeckExtension.IOptions) {
this._commands = options.commands;
}
createNew(
panel: FileEditorPanel,
context: DocumentRegistry.IContext<DocumentRegistry.ICodeModel>,
): IDisposable {
/* istanbul ignore if */
if (!MARKDOWN_MIMETYPES.includes(context.model.mimeType)) {
return new DisposableDelegate(() => {});
}
const button = new CommandToolbarButton({
commands: this._commands,
label: '',
id: CommandIds.toggle,
});
panel.toolbar.insertItem(5, 'deck', button);
return new DisposableDelegate(() => button.dispose());
}
}
export namespace EditorDeckExtension {
export interface IOptions {
commands: CommandRegistry;
}
}
|