diff --git a/package.json b/package.json index 687eec5..b7625bc 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "jupyterlab_sandbox_theme", - "version": "0.1.0", + "version": "0.1.1", "description": "Sandbox Theme", "keywords": [ "jupyter", diff --git a/src/index.ts b/src/index.ts index 52bbbd5..a92fd77 100644 --- a/src/index.ts +++ b/src/index.ts @@ -52,6 +52,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('#jupyterlab-splash',document.body).then((elm: any) => { let child = elm.firstChild child.innerHTML = '
';