From 3a671e3ff95ed904ff89ac293ca86cc90116fab0 Mon Sep 17 00:00:00 2001 From: maltegrosse Date: Tue, 24 Jan 2023 09:27:24 +0100 Subject: [PATCH] icon --- package.json | 2 +- src/images.ts | 2 +- src/index.ts | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/package.json b/package.json index 7a45ab4..11bc2cf 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "jupyterlab-data-pool", - "version": "0.1.1", + "version": "0.1.2", "description": "Data Sharing", "keywords": [ "jupyter", diff --git a/src/images.ts b/src/images.ts index 94c2c85..1021dfd 100644 --- a/src/images.ts +++ b/src/images.ts @@ -1,3 +1,3 @@ export default {}; -export const Icon: any = '' \ No newline at end of file +export const dataIcon: any = '' \ No newline at end of file diff --git a/src/index.ts b/src/index.ts index 1123d36..e9a308d 100644 --- a/src/index.ts +++ b/src/index.ts @@ -6,7 +6,7 @@ import { ICommandPalette, MainAreaWidget } from '@jupyterlab/apputils'; -import { Icon } from './images'; +import { dataIcon } from './images'; import { ISettingRegistry } from '@jupyterlab/settingregistry'; import { LabIcon } from '@jupyterlab/ui-components'; //import { requestAPI } from './handler'; @@ -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:data-pool-icon', svgstr: Icon}); + const webDavIcon = new LabIcon({ name: 'ui-components:data-pool-icon', svgstr: dataIcon}); const label = "Data Pool" const content = new DataPoolWidget(label);