chore: jupyterlab label

datalayer · Dec 16, 2023 · 3242a24 · 3242a24
1 parent b84921d
commit 3242a24
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/jupyterlab/index.ts b/src/jupyterlab/index.ts
@@ -41,13 +41,13 @@ const plugin: JupyterFrontEndPlugin<void> = {
       });
     }
     commands.addCommand(command, {
-      caption: 'Show Manager',
-      label: 'Manager',
+      caption: 'Show Jupyter Manager',
+      label: 'Jupyter Manager',
       icon,
       execute: () => {
         const content = new ManagerWidget();
         const widget = new MainAreaWidget<ManagerWidget>({ content });
-        widget.title.label = 'Manager';
+        widget.title.label = 'Jupyter Manager';
         widget.title.icon = icon;
         app.shell.add(widget, 'main');
         tracker.add(widget);