本文整理匯總了TypeScript中@jupyterlab/application.JupyterLabPlugin.addCommand方法的典型用法代碼示例。如果您正苦於以下問題：TypeScript JupyterLabPlugin.addCommand方法的具體用法？TypeScript JupyterLabPlugin.addCommand怎麽用？TypeScript JupyterLabPlugin.addCommand使用的例子？那麽, 這裏精選的方法代碼示例或許可以為您提供幫助。您也可以進一步了解該方法所在類@jupyterlab/application.JupyterLabPlugin的用法示例。
在下文中一共展示了JupyterLabPlugin.addCommand方法的1個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的TypeScript代碼示例。
示例1: activateEditorCommands
//.........這裏部分代碼省略.........
tracker.widgetAdded.connect((sender, widget) => {
if (widget.content.editor instanceof CodeMirrorEditor) {
let cm = widget.content.editor.editor;
cm.setOption('keyMap', keyMap);
cm.setOption('theme', theme);
cm.setOption('scrollPastEnd', scrollPastEnd);
cm.setOption('styleActiveLine', styleActiveLine);
cm.setOption('styleSelectedText', styleSelectedText);
cm.setOption('selectionPointer', selectionPointer);
}
});
/**
* A test for whether the tracker has an active widget.
*/
function isEnabled(): boolean {
return (
tracker.currentWidget !== null &&
tracker.currentWidget === app.shell.currentWidget
);
}
/**
* Create a menu for the editor.
*/
const themeMenu = new Menu({ commands });
const keyMapMenu = new Menu({ commands });
const modeMenu = new Menu({ commands });
themeMenu.title.label = 'Text Editor Theme';
keyMapMenu.title.label = 'Text Editor Key Map';
modeMenu.title.label = 'Text Editor Syntax Highlighting';
commands.addCommand(CommandIDs.changeTheme, {
label: args => {
if (args['theme'] === 'default') {
return 'codemirror';
} else {
return args['theme'] as string;
}
},
execute: args => {
const key = 'theme';
const value = (theme = (args['theme'] as string) || theme);
updateTracker();
return settingRegistry.set(id, key, value).catch((reason: Error) => {
console.error(`Failed to set ${id}:${key} - ${reason.message}`);
});
},
isToggled: args => args['theme'] === theme
});
commands.addCommand(CommandIDs.changeKeyMap, {
label: args => {
let title = args['keyMap'] as string;
return title === 'sublime' ? 'Sublime Text' : title;
},
execute: args => {
const key = 'keyMap';
const value = (keyMap = (args['keyMap'] as string) || keyMap);
updateTracker();
return settingRegistry.set(id, key, value).catch((reason: Error) => {
console.error(`Failed to set ${id}:${key} - ${reason.message}`);
});