Merge pull request #9097 from jasongrout/menuscroll

Add hover scrolling to menu, like toolbar.

packages/application/style/menus.css

@@ -23,6 +23,10 @@
   font-size: var(--jp-ui-font-size1);
 }
 
+.lm-MenuBar:hover {
+  overflow-x: auto;
+}
+
 .lm-MenuBar-menu {
   transform: translateY(calc(-2 * var(--jp-border-width)));
 }

packages/mainmenu-extension/src/index.ts

@@ -136,6 +136,7 @@ const plugin: JupyterFrontEndPlugin<IMainMenu> = {
 
     const menu = new MainMenu(commands);
     menu.id = 'jp-MainMenu';
+    menu.addClass('jp-scrollbar-tiny');
 
     const logo = new Widget();
     jupyterIcon.element({