Dispose the Tabs menu

5 years ago · 8f0e4d64e2
parent 8c639202a8
commit 8f0e4d64e2
1 changed files with 13 additions and 0 deletions
--- a/packages/application-extension/src/index.ts
+++ b/packages/application-extension/src/index.ts
@ -238,6 +238,18 @@ const kernelStatus: JupyterFrontEndPlugin<void> = {
  }
 };

+/**
+ * A plugin to dispose the Tabs menu
+ */
+const noTabsMenu: JupyterFrontEndPlugin<void> = {
+  id: '@jupyterlab-classic/application-extension:no-tabs-menu',
+  requires: [IMainMenu],
+  autoStart: true,
+  activate: (app: JupyterFrontEnd, menu: IMainMenu) => {
+    menu.tabsMenu.dispose();
+  }
+};
+
 /**
 * The logo plugin.
 */
@ -548,6 +560,7 @@ const plugins: JupyterFrontEndPlugin<any>[] = [
  kernelStatus,
  logo,
  main,
+  noTabsMenu,
  paths,
  router,
  sessionDialogs,