From 3242a24d0d6dab5346f7de82f387af78fd6ebc92 Mon Sep 17 00:00:00 2001 From: echarles Date: Sat, 16 Dec 2023 11:18:26 +0100 Subject: [PATCH] chore: jupyterlab label --- src/jupyterlab/index.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/jupyterlab/index.ts b/src/jupyterlab/index.ts index 955f080..30e795a 100644 --- a/src/jupyterlab/index.ts +++ b/src/jupyterlab/index.ts @@ -41,13 +41,13 @@ const plugin: JupyterFrontEndPlugin = { }); } 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({ content }); - widget.title.label = 'Manager'; + widget.title.label = 'Jupyter Manager'; widget.title.icon = icon; app.shell.add(widget, 'main'); tracker.add(widget);