grosse
/
jupyterlab-data-pool
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

added lab icon
ci/woodpecker/push/woodpecker Pipeline failed Details

This commit is contained in:
maltegrosse 2023-01-23 22:30:19 +01:00
parent 9a43bacb85
commit 7cafe90118
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/index.ts
View File

@ -42,7 +42,7 @@ const plugin: JupyterFrontEndPlugin<void> = {
// `The jupyterlab-data-pool server extension appears to be missing.\n${reason}` // `The jupyterlab-data-pool server extension appears to be missing.\n${reason}`
// ); // );
// }); // });
const webDavIcon = new LabIcon({ name: 'ui-components:webdav-icon', svgstr: Icon}); const webDavIcon = new LabIcon({ name: 'ui-components:data-pool-icon', svgstr: Icon});
const label = "Data Pool" const label = "Data Pool"
const content = new DataPoolWidget(label); const content = new DataPoolWidget(label);

2
tsconfig.json
View File

@ -15,7 +15,7 @@
"resolveJsonModule": true, "resolveJsonModule": true,
"outDir": "lib", "outDir": "lib",
"rootDir": "src", "rootDir": "src",
"skipLibCheck": true,
"strict": true, "strict": true,
"strictNullChecks": true, "strictNullChecks": true,
"target": "es2017", "target": "es2017",