本文整理汇总了TypeScript中@jupyterlab/mainmenu.KernelMenu.addGroup方法的典型用法代码示例。如果您正苦于以下问题:TypeScript KernelMenu.addGroup方法的具体用法?TypeScript KernelMenu.addGroup怎么用?TypeScript KernelMenu.addGroup使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类@jupyterlab/mainmenu.KernelMenu
的用法示例。
在下文中一共展示了KernelMenu.addGroup方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的TypeScript代码示例。
示例1: createKernelMenu
export function createKernelMenu(app: JupyterLab, menu: KernelMenu): void {
const commands = menu.menu.commands;
commands.addCommand(CommandIDs.interruptKernel, {
label: 'Interrupt Kernel',
isEnabled: Private.delegateEnabled(
app,
menu.kernelUsers,
'interruptKernel'
),
execute: Private.delegateExecute(app, menu.kernelUsers, 'interruptKernel')
});
commands.addCommand(CommandIDs.restartKernel, {
label: 'Restart Kernel…',
isEnabled: Private.delegateEnabled(app, menu.kernelUsers, 'restartKernel'),
execute: Private.delegateExecute(app, menu.kernelUsers, 'restartKernel')
});
commands.addCommand(CommandIDs.restartKernelAndClear, {
label: () => {
const noun = Private.delegateLabel(app, menu.kernelUsers, 'noun');
const enabled = Private.delegateEnabled(
app,
menu.kernelUsers,
'restartKernelAndClear'
)();
return `Restart Kernel and Clear${enabled ? ` ${noun}` : ''}…`;
},
isEnabled: Private.delegateEnabled(
app,
menu.kernelUsers,
'restartKernelAndClear'
),
execute: Private.delegateExecute(
app,
menu.kernelUsers,
'restartKernelAndClear'
)
});
commands.addCommand(CommandIDs.changeKernel, {
label: 'Change Kernel…',
isEnabled: Private.delegateEnabled(app, menu.kernelUsers, 'changeKernel'),
execute: Private.delegateExecute(app, menu.kernelUsers, 'changeKernel')
});
commands.addCommand(CommandIDs.shutdownKernel, {
label: 'Shutdown Kernel',
isEnabled: Private.delegateEnabled(app, menu.kernelUsers, 'shutdownKernel'),
execute: Private.delegateExecute(app, menu.kernelUsers, 'shutdownKernel')
});
commands.addCommand(CommandIDs.shutdownAllKernels, {
label: 'Shutdown All Kernels…',
isEnabled: () => {
return app.serviceManager.sessions.running().next() !== undefined;
},
execute: () => {
showDialog({
title: 'Shutdown All?',
body: 'Shut down all kernels?',
buttons: [
Dialog.cancelButton(),
Dialog.warnButton({ label: 'SHUTDOWN' })
]
}).then(result => {
if (result.button.accept) {
return app.serviceManager.sessions.shutdownAll();
}
});
}
});
const restartGroup = [
CommandIDs.restartKernel,
CommandIDs.restartKernelAndClear,
CommandIDs.restartAndRunAll
].map(command => {
return { command };
});
menu.addGroup([{ command: CommandIDs.interruptKernel }], 0);
menu.addGroup(restartGroup, 1);
menu.addGroup(
[
{ command: CommandIDs.shutdownKernel },
{ command: CommandIDs.shutdownAllKernels }
],
2
);
menu.addGroup([{ command: CommandIDs.changeKernel }], 3);
}