Jun 22, 2023 · Jun 20, 2023 · Jun 20, 2023 · Jun 20, 2023 · Jun 20, 2023 · Jun 20, 2023
diff --git a/packages/notebook-extension/src/index.ts b/packages/notebook-extension/src/index.ts

 import { IDocumentManager } from '@jupyterlab/docmanager';

 import { IMainMenu } from '@jupyterlab/mainmenu';

 import {
  NotebookPanel,
  INotebookTracker,

 import { ISettingRegistry } from '@jupyterlab/settingregistry';

 import { ITranslator } from '@jupyterlab/translation';
 import { ITranslator, nullTranslator } from '@jupyterlab/translation';

 import { INotebookShell } from '@jupyter-notebook/application';

  },
 };

 /**
 * Add a command to close the browser tab when clicking on "Close and Shut Down"
 */
 const closeTab: JupyterFrontEndPlugin<void> = {
  id: '@jupyter-notebook/notebook-extension:close-tab',
  autoStart: true,
  requires: [IMainMenu],
  optional: [ITranslator],
  activate: (
    app: JupyterFrontEnd,
    menu: IMainMenu,
    translator: ITranslator | null
  ) => {
    const { commands } = app;
    translator = translator ?? nullTranslator;
    const trans = translator.load('notebook');

    const id = 'notebook:close-browser-tab';
    commands.addCommand(id, {
      label: trans.__('Close and Shut Down Notebook'),
      execute: async () => {
        await commands.execute('notebook:close-and-shutdown');
        window.close();
      },
    });
    menu.fileMenu.closeAndCleaners.add({
      id,
      isEnabled: () => true,
      rank: 0,
    });
  },
 };

 /**
 * The kernel logo plugin.
 */
 */
 const plugins: JupyterFrontEndPlugin<any>[] = [
  checkpoints,
  closeTab,
  kernelLogo,
  kernelStatus,
  scrollOutput,
Original file line number	Diff line number	Diff line change
Expand Up		@@ -18,6 +18,8 @@ import { Text, Time } from '@jupyterlab/coreutils';

		import { IDocumentManager } from '@jupyterlab/docmanager';

		import { IMainMenu } from '@jupyterlab/mainmenu';

		import {
		NotebookPanel,
		INotebookTracker,
Expand All		@@ -26,7 +28,7 @@ import {

		import { ISettingRegistry } from '@jupyterlab/settingregistry';

		import { ITranslator } from '@jupyterlab/translation';
		import { ITranslator, nullTranslator } from '@jupyterlab/translation';

		import { INotebookShell } from '@jupyter-notebook/application';

Expand DownExpand Up		@@ -126,6 +128,39 @@ const checkpoints: JupyterFrontEndPlugin<void> = {
		},
		};

		/**
		* Add a command to close the browser tab when clicking on "Close and Shut Down"
		*/
		const closeTab: JupyterFrontEndPlugin<void> = {
		id: '@jupyter-notebook/notebook-extension:close-tab',
		autoStart: true,
		requires: [IMainMenu],
		optional: [ITranslator],
		activate: (
		app: JupyterFrontEnd,
		menu: IMainMenu,
		translator: ITranslator \| null
		) => {
		const { commands } = app;
		translator = translator ?? nullTranslator;
		const trans = translator.load('notebook');

		const id = 'notebook:close-browser-tab';
		commands.addCommand(id, {
		label: trans.__('Close and Shut Down Notebook'),
		execute: async () => {
		await commands.execute('notebook:close-and-shutdown');
		window.close();
		},
		});
		menu.fileMenu.closeAndCleaners.add({
		id,
		isEnabled: () => true,
		rank: 0,
		});
		},
		};

		/**
		* The kernel logo plugin.
		*/
Expand DownExpand Up		@@ -402,6 +437,7 @@ const trusted: JupyterFrontEndPlugin<void> = {
		*/
		const plugins: JupyterFrontEndPlugin<any>[] = [
		checkpoints,
		closeTab,
		kernelLogo,
		kernelStatus,
		scrollOutput,
Expand Down