|
@@ -24,8 +24,8 @@ lab.registerPlugins([
|
|
|
// require('jupyterlab/lib/inspector/plugin').inspectorExtension,
|
|
|
// require('jupyterlab/lib/leafletwidget/plugin').mapHandlerExtension,
|
|
|
// require('jupyterlab/lib/landing/plugin').landingExtension,
|
|
|
- // require('jupyterlab/lib/main/plugin').mainExtension,
|
|
|
- // require('jupyterlab/lib/mainmenu/plugin').mainMenuExtension,
|
|
|
+ require('jupyterlab/lib/main/plugin').mainExtension,
|
|
|
+ require('jupyterlab/lib/mainmenu/plugin').mainMenuProvider,
|
|
|
// require('jupyterlab/lib/markdownwidget/plugin').markdownHandlerExtension,
|
|
|
// require('jupyterlab/lib/notebook/plugin').notebookHandlerExtension,
|
|
|
// require('jupyterlab/lib/running/plugin').runningSessionsExtension,
|
|
@@ -38,7 +38,6 @@ lab.registerPlugins([
|
|
|
// require('jupyterlab/lib/docregistry/plugin').docRegistryProvider,
|
|
|
// require('jupyterlab/lib/filebrowser/plugin').fileBrowserProvider,
|
|
|
// require('jupyterlab/lib/inspector/plugin').inspectorProvider,
|
|
|
- // require('jupyterlab/lib/mainmenu/plugin').mainMenuProvider,
|
|
|
// require('jupyterlab/lib/notebook/plugin').notebookTrackerProvider,
|
|
|
// require('jupyterlab/lib/rendermime/plugin').renderMimeProvider,
|
|
|
// require('jupyterlab/lib/services/plugin').servicesProvider
|