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

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

This commit is contained in:
maltegrosse 2023-01-24 11:19:43 +01:00
parent 2fa3abf56e
commit 6c1ece8fac
2 changed files with 5 additions and 4 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",
"version": "0.1.1",
"version": "0.1.2",
"description": "Sandbox Theme",
"keywords": [
"jupyter",

7
src/index.ts
View File

@ -14,6 +14,7 @@ const plugin: JupyterFrontEndPlugin<void> = {
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<void> = {
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 = ' <div class="cube"> <div class="cube1"></div> <div class="cube2"></div></div>';