too many items in the menus

[parmentelat]

the following submenus / buttons are too wide and need to be disabled

in File jp-mainmenu-file

• [x] New submenu altogether jp-mainmenu-file-new
• [x] Rename...

in View jp-mainmenu-view

• [x] Activate command Palette - it would still be available through a keyboard shortcut, but no need in the menu
• [x] Open JupyterLab
• [x] File Browser
• [x] Toggle Zen Mode because it removes the possibility to undo it (remember the palette is not readily available)
• [x] Show Notifications
• [x] Open in JupyterLab
• [x] ? Open in NbClassic - see below
• [x] Render Side-by-Side
• [x] Text Editor Syntax Highlighting
• [ ] ? I think I'll keep Right Sidebar and Left Sidebar but that's arguable

in Settings jp-mainmenu-settings

• [x] all 5 Text Editor entries
  • [x] Text Editor Indentation
  • [x] Auto Close Brackets
  • [x] Increase Text Editor Font Size
  • [x] Decrease Text Editor Font Size
  • [x] Text Editor Theme
• [x] all 3 Terminal entries
  • [x] Increase Terminal Font Size
  • [x] Decrease Terminal Font Size
  • [x] Terminal Theme
• [ ] Save Widget State Automatically
  • would just need to disable the @jupyter-widgets/jupyterlab-manager:plugin extension
  • keeping it for now as it is harmless

in Help jp-mainmenu-help

• [x] Launch Jupyter Notebook File Browser

side notes:

• [x] View → Table of Contents does not toggle; probably an issue to raise in notebook ( and same for View → Debugger Panel)
  • [x] https://github.com/jupyter/notebook/issues/7147
• [x] Show Header should be named "Toggle Header"
  • [x] discussed the matter with jupyterlab but it's on purpose, so let's forget about that

[parmentelat]

concerning View → Open as NbClassic, this could be a simple way to open the notebook in a more friendly layout - no side decoration

however I wonder about possible side-efffects I suspect the 2 open views (one in FUN, one in the standalone tab) are writing the same file without coordination this needs to be tested more

[parmentelat]

about scrubbing the remaining menu entries, see:

https://discourse.jupyter.org/t/is-there-a-way-to-introspect-the-mainmenu/

essentially

• about terminal entries: menu entries that were created through the menu API can't be turned off through settings the proposal is to tweak the jlab code so that they get created throudh settings, so that ultimately we could turn them off here in plugin.json so this means that the following won't work, at least for now

    {
      "id": "jp-mainmenu-settings",
      "items": [
        { "command": "terminal:increase-font", "disabled": true},
        { "command": "terminal:decrease-font", "disabled": true},
        { "command": "terminal:set-theme", "disabled": true}
      ]
    },

• about Open in.. entries: should be doable through settings...

it was also mentioned that a more user-friendly interface to the MainMenu class would have been welcome, e.g. for deleting entries based on a regexp..

[parmentelat]

killer approach was to use disabledExtensions in package.json which is much more effective than trying to turn off individual menu entries

[parmentelat]

should be good in 0.4.1

[parmentelat]

in a further iteration, we will remove the following entries in mainmenu

• [x] settings submenu altogether
  • [x] settings / save widget state automatically
• [x] run / run selected text or current line
• [x] view / collapse et view / expand
• [x] view / * Sidebar