From 2597fbc27ba9613d5de8620dfad9d43bbf372be2 Mon Sep 17 00:00:00 2001 From: Paul Ivanov Date: Mon, 25 Feb 2019 15:26:10 -0800 Subject: [PATCH] "Close all" command refers to tabs, not widgets Users are unaware of the JupyterLab "widget" nomenclature (which is also overloaded in many contexts). The other Main Area commands currently refer to "Activate Next Tab" and "Activate Previous Tab", so having "Close All Tabs" seems like a more natural name for the operation. --- packages/application-extension/src/index.tsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/application-extension/src/index.tsx b/packages/application-extension/src/index.tsx index 6f01a918ec37..a0e398f6cd06 100644 --- a/packages/application-extension/src/index.tsx +++ b/packages/application-extension/src/index.tsx @@ -452,7 +452,7 @@ function addCommands(app: JupyterLab, palette: ICommandPalette): void { command = CommandIDs.closeAll; app.commands.addCommand(command, { - label: 'Close All Widgets', + label: 'Close All Tabs', execute: () => { app.shell.closeAll(); }