From d56f41dd29e791fb23e768cfbd75a5d9914b501b Mon Sep 17 00:00:00 2001 From: Mehmet Bektas Date: Thu, 14 Feb 2019 18:33:54 -0800 Subject: [PATCH] rename status bar toggle command --- packages/statusbar-extension/src/index.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/statusbar-extension/src/index.ts b/packages/statusbar-extension/src/index.ts index 26206b908801..7afde6c827eb 100644 --- a/packages/statusbar-extension/src/index.ts +++ b/packages/statusbar-extension/src/index.ts @@ -70,7 +70,7 @@ const statusBar: JupyterFrontEndPlugin = { } const category: string = 'Main Area'; - const command: string = 'toggle-jp-main-statusbar'; + const command: string = 'statusbar:toggle'; app.commands.addCommand(command, { label: 'Show Status Bar',