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

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

This commit is contained in:
maltegrosse 2023-01-24 09:57:19 +01:00
parent eaadc037ad
commit cd0e16fe2a
2 changed files with 46 additions and 45 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-training",
"version": "0.1.2",
"version": "0.1.3",
"description": "Training Data Pipeline",
"keywords": [
"jupyter",

15
src/index.ts
View File

@ -11,15 +11,15 @@ import { ISettingRegistry } from '@jupyterlab/settingregistry';
import { LabIcon } from '@jupyterlab/ui-components';
//import { requestAPI } from './handler';
import { ILauncher} from '@jupyterlab/launcher';
import {TrainingWidget} from "./widget"
import { ILauncher } from '@jupyterlab/launcher';
import { TrainingWidget } from "./widget"
const plugin: JupyterFrontEndPlugin<void> = {
id: 'jupyterlab-training:plugin',
autoStart: true,
optional: [ISettingRegistry, ILauncher, ICommandPalette],
activate: (app: JupyterFrontEnd, settingRegistry: ISettingRegistry | null, launcher:ILauncher,palette: ICommandPalette) => {
activate: (app: JupyterFrontEnd, settingRegistry: ISettingRegistry | null, launcher: ILauncher, palette: ICommandPalette) => {
// console.log('JupyterLab extension jupyterlab-data-pool is activated!');
if (settingRegistry) {
@ -42,11 +42,11 @@ const plugin: JupyterFrontEndPlugin<void> = {
// `The jupyterlab-data-pool server extension appears to be missing.\n${reason}`
// );
// });
const webDavIcon = new LabIcon({ name: 'ui-components:training-icon', svgstr: TrainingIcon});
const webDavIcon = new LabIcon({ name: 'ui-components:training-icon', svgstr: TrainingIcon });
const label = "Training"
const content = new TrainingWidget(label);
const widget = new MainAreaWidget({content});
const widget = new MainAreaWidget({ content });
widget.id = 'jupyterlab-training:plugin';
widget.title.label = label
widget.title.closable = true;
@ -65,7 +65,7 @@ const plugin: JupyterFrontEndPlugin<void> = {
app.shell.activateById(widget.id);
}
});
const launcher_item : ILauncher.IItemOptions = {
const launcher_item: ILauncher.IItemOptions = {
command: command,
args: {
url: "#",
@ -73,8 +73,9 @@ const plugin: JupyterFrontEndPlugin<void> = {
title: 'Training',
id: 'training'
},
category: 'Other',
category: 'Sandbox',
rank: 2,
};
launcher.add(launcher_item)