Browse Source

Merge pull request #6493 from ibdafna/inspector-rename

Rename "Inspector" to "Interactive Help"
Steven Silvester 5 years ago
parent
commit
1d655d5b97
1 changed files with 2 additions and 2 deletions
  1. 2 2
      packages/inspector-extension/src/index.ts

+ 2 - 2
packages/inspector-extension/src/index.ts

@@ -50,8 +50,8 @@ const inspector: JupyterFrontEndPlugin<IInspector> = {
   ): IInspector => {
     const { commands, shell } = app;
     const command = CommandIDs.open;
-    const label = 'Open Inspector';
-    const title = 'Inspector';
+    const label = 'Open Interactive Help';
+    const title = 'Interactive Help';
     const namespace = 'inspector';
     const tracker = new InstanceTracker<MainAreaWidget<InspectorPanel>>({
       namespace