grosse
/
jupyterlab_sandbox_theme
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

title
ci/woodpecker/push/woodpecker Pipeline was successful Details

This commit is contained in:
maltegrosse 2023-01-24 10:04:10 +01:00
parent fb0a30990d
commit 2fa3abf56e
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
package.json
View File

@ -1,6 +1,6 @@
{ {
"name": "jupyterlab_sandbox_theme", "name": "jupyterlab_sandbox_theme",
"version": "0.1.0", "version": "0.1.1",
"description": "Sandbox Theme", "description": "Sandbox Theme",
"keywords": [ "keywords": [
"jupyter", "jupyter",

3
src/index.ts
View File

@ -52,6 +52,9 @@ const plugin: JupyterFrontEndPlugin<void> = {
waitForElement('.busy',document.head).then((elm: any) => { waitForElement('.busy',document.head).then((elm: any) => {
elm.setAttribute("href",busy) elm.setAttribute("href",busy)
}); });
waitForElement('title',document.head).then((elm: any) => {
elm.innerHTML = "Sandbox"
});
waitForElement('#jupyterlab-splash',document.body).then((elm: any) => { waitForElement('#jupyterlab-splash',document.body).then((elm: any) => {
let child = elm.firstChild let child = elm.firstChild
child.innerHTML = ' <div class="cube"> <div class="cube1"></div> <div class="cube2"></div></div>'; child.innerHTML = ' <div class="cube"> <div class="cube1"></div> <div class="cube2"></div></div>';