diff --git a/src/index.ts b/src/index.ts index 086651d..1123d36 100644 --- a/src/index.ts +++ b/src/index.ts @@ -42,7 +42,7 @@ const plugin: JupyterFrontEndPlugin = { // `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 content = new DataPoolWidget(label); diff --git a/tsconfig.json b/tsconfig.json index 8cbf898..f9828f5 100644 --- a/tsconfig.json +++ b/tsconfig.json @@ -15,7 +15,7 @@ "resolveJsonModule": true, "outDir": "lib", "rootDir": "src", - + "skipLibCheck": true, "strict": true, "strictNullChecks": true, "target": "es2017",