Jason Grout 4 years ago
parent
commit
93c4dd4adb

+ 6 - 1
packages/application/src/shell.ts

@@ -3,7 +3,12 @@
 
 import { DocumentRegistry, DocumentWidget } from '@jupyterlab/docregistry';
 
-import { classes, DockPanelSvg, LabIcon, jupyterIcon } from '@jupyterlab/ui-components';
+import {
+  classes,
+  DockPanelSvg,
+  LabIcon,
+  jupyterIcon
+} from '@jupyterlab/ui-components';
 
 import { ArrayExt, find, IIterator, iter, toArray } from '@lumino/algorithm';
 

+ 7 - 3
packages/application/style/base.css

@@ -61,14 +61,18 @@ body {
 }
 
 .jp-LabShell[data-shell-mode='single-document'] #jp-menu-panel {
-  padding-left: calc(var(--jp-private-sidebar-tab-width) + var(--jp-border-width));
+  padding-left: calc(
+    var(--jp-private-sidebar-tab-width) + var(--jp-border-width)
+  );
   border-bottom: var(--jp-border-width) solid var(--jp-border-color0);
   /* Adjust min-height so open menus show up in the right place */
-  min-height: calc(var(--jp-private-menu-panel-height) + var(--jp-border-width));
+  min-height: calc(
+    var(--jp-private-menu-panel-height) + var(--jp-border-width)
+  );
 }
 
 #jp-MainLogo {
-  width: calc(var(--jp-private-sidebar-tab-width) + var(--jp-border-width))
+  width: calc(var(--jp-private-sidebar-tab-width) + var(--jp-border-width));
 }
 
 #jp-bottom-panel {

+ 1 - 2
packages/mainmenu-extension/src/index.ts

@@ -136,7 +136,6 @@ const plugin: JupyterFrontEndPlugin<IMainMenu> = {
     menu.id = 'jp-MainMenu';
     menu.addClass('jp-scrollbar-tiny');
 
-
     // Only add quit button if the back-end supports it by checking page config.
     const quitButton = PageConfig.getOption('quitButton').toLowerCase();
     menu.fileMenu.quitEntry = quitButton === 'true';
@@ -225,7 +224,7 @@ const plugin: JupyterFrontEndPlugin<IMainMenu> = {
       });
     }
 
-    app.shell.add(menu, 'menu', {rank: 100});
+    app.shell.add(menu, 'menu', { rank: 100 });
 
     return menu;
   }

+ 1 - 3
packages/mainmenu-extension/tsconfig.json

@@ -4,9 +4,7 @@
     "outDir": "lib",
     "rootDir": "src"
   },
-  "include": [
-    "src/*"
-  ],
+  "include": ["src/*"],
   "references": [
     {
       "path": "../application"