|
@@ -207,6 +207,10 @@ const plugin: JupyterFrontEndPlugin<IMainMenu> = {
|
|
|
command: CommandIDs.shutdown,
|
|
|
category: 'Main Area'
|
|
|
});
|
|
|
+ palette.addItem({
|
|
|
+ command: CommandIDs.logout,
|
|
|
+ category: 'Main Area'
|
|
|
+ });
|
|
|
}
|
|
|
|
|
|
palette.addItem({
|
|
@@ -348,7 +352,7 @@ export function createFileMenu(
|
|
|
});
|
|
|
|
|
|
commands.addCommand(CommandIDs.shutdown, {
|
|
|
- label: 'Shutdown',
|
|
|
+ label: 'Shut Down',
|
|
|
caption: 'Shut down JupyterLab',
|
|
|
execute: () => {
|
|
|
return showDialog({
|
|
@@ -392,7 +396,7 @@ export function createFileMenu(
|
|
|
});
|
|
|
|
|
|
commands.addCommand(CommandIDs.logout, {
|
|
|
- label: 'Logout',
|
|
|
+ label: 'Log Out',
|
|
|
caption: 'Log out of JupyterLab',
|
|
|
execute: () => {
|
|
|
router.navigate('/logout', { hard: true });
|
|
@@ -506,23 +510,23 @@ export function createKernelMenu(app: JupyterFrontEnd, menu: KernelMenu): void {
|
|
|
});
|
|
|
|
|
|
commands.addCommand(CommandIDs.shutdownKernel, {
|
|
|
- label: 'Shutdown Kernel',
|
|
|
+ label: 'Shut Down Kernel',
|
|
|
isEnabled: Private.delegateEnabled(app, menu.kernelUsers, 'shutdownKernel'),
|
|
|
execute: Private.delegateExecute(app, menu.kernelUsers, 'shutdownKernel')
|
|
|
});
|
|
|
|
|
|
commands.addCommand(CommandIDs.shutdownAllKernels, {
|
|
|
- label: 'Shutdown All Kernels…',
|
|
|
+ label: 'Shut Down All Kernels…',
|
|
|
isEnabled: () => {
|
|
|
return app.serviceManager.sessions.running().next() !== undefined;
|
|
|
},
|
|
|
execute: () => {
|
|
|
return showDialog({
|
|
|
- title: 'Shutdown All?',
|
|
|
+ title: 'Shut Down All?',
|
|
|
body: 'Shut down all kernels?',
|
|
|
buttons: [
|
|
|
Dialog.cancelButton(),
|
|
|
- Dialog.warnButton({ label: 'SHUTDOWN' })
|
|
|
+ Dialog.warnButton({ label: 'SHUT DOWN ALL' })
|
|
|
]
|
|
|
}).then(result => {
|
|
|
if (result.button.accept) {
|