From aaca62aca585079e2758f7d60659dfd235b2697d Mon Sep 17 00:00:00 2001 From: Paul Ivanov Date: Thu, 20 Jun 2019 18:07:33 -0700 Subject: [PATCH] rename inspector to 'contextual help' --- packages/inspector-extension/src/index.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/inspector-extension/src/index.ts b/packages/inspector-extension/src/index.ts index 8e0b1a69679d..ec62904a0e27 100644 --- a/packages/inspector-extension/src/index.ts +++ b/packages/inspector-extension/src/index.ts @@ -50,8 +50,8 @@ const inspector: JupyterFrontEndPlugin = { ): IInspector => { const { commands, shell } = app; const command = CommandIDs.open; - const label = 'Open Interactive Help'; - const title = 'Interactive Help'; + const label = 'Open Contextual Help'; + const title = 'Contextual Help'; const namespace = 'inspector'; const tracker = new InstanceTracker>({ namespace