diff --git a/app/index.js b/app/index.js index 5b23f556..71877c59 100644 --- a/app/index.js +++ b/app/index.js @@ -125,7 +125,9 @@ async function main() { // so new terminals can be create from the menu require('@jupyterlab/terminal-extension'), require('@jupyterlab/theme-light-extension'), - require('@jupyterlab/theme-dark-extension') + require('@jupyterlab/theme-dark-extension'), + // Add the "Hub Control Panel" menu option when running in JupyterHub + require('@jupyterlab/hub-extension') ]; // The motivation here is to only load a specific set of plugins dependending on diff --git a/app/package.json b/app/package.json index b1bbca3b..b07047c7 100644 --- a/app/package.json +++ b/app/package.json @@ -34,6 +34,7 @@ "@jupyterlab/filebrowser-extension": "~3.1.0-alpha.8", "@jupyterlab/fileeditor": "~3.1.0-alpha.8", "@jupyterlab/fileeditor-extension": "~3.1.0-alpha.8", + "@jupyterlab/hub-extension": "~3.1.0-alpha.8", "@jupyterlab/javascript-extension": "~3.1.0-alpha.8", "@jupyterlab/json-extension": "~3.1.0-alpha.8", "@jupyterlab/mainmenu": "~3.1.0-alpha.8",