Module mainmenu-extension
Variables
Const default
default
: JupyterFrontEndPlugin<IMainMenu> = ...
Functions
createEditMenu
- createEditMenu(app: JupyterFrontEnd, menu: IEditMenu, trans: TranslationBundle): void
-
Parameters
-
app: JupyterFrontEnd
-
menu: IEditMenu
-
Returns void
A service providing an interface to the main menu.