diff --git a/package.json b/package.json index b7625bc..252273b 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "jupyterlab_sandbox_theme", - "version": "0.1.1", + "version": "0.1.2", "description": "Sandbox Theme", "keywords": [ "jupyter", diff --git a/src/index.ts b/src/index.ts index a92fd77..c232d84 100644 --- a/src/index.ts +++ b/src/index.ts @@ -14,6 +14,7 @@ const plugin: JupyterFrontEndPlugin = { id: 'jupyterlab_sandbox_theme:plugin', requires: [IThemeManager, ILabShell,ISplashScreen], activate: (app: JupyterFrontEnd, manager: IThemeManager, shell: ILabShell) => { + // todo: https://github.com/jupyterlab/jupyterlab/blob/997f3af68396539136ab0cb8512c73c07e021e4a/packages/apputils-extension/src/index.ts#L156-L163 const style = 'jupyterlab_sandbox_theme/index.css'; const logo_svg = Logo @@ -52,9 +53,9 @@ const plugin: JupyterFrontEndPlugin = { waitForElement('.busy',document.head).then((elm: any) => { elm.setAttribute("href",busy) }); - waitForElement('title',document.head).then((elm: any) => { - elm.innerHTML = "Sandbox" - }); + // waitForElement('title',document.head).then((elm: any) => { + // elm.innerHTML = "Sandbox" + // }); waitForElement('#jupyterlab-splash',document.body).then((elm: any) => { let child = elm.firstChild child.innerHTML = '
';