Merge pull request #6485 from cquah/issue-6482

Rename 'Close Other Tabs' command item to 'Close All Other Tabs'.
jupyterlab · Jun 6, 2019 · b1f6568 · b1f6568
2 parents f8be765 + fd73b7b
commit b1f6568
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/application-extension/src/index.tsx b/packages/application-extension/src/index.tsx
@@ -564,7 +564,7 @@ function addCommands(app: JupyterLab, palette: ICommandPalette): void {
   palette.addItem({ command: CommandIDs.closeAll, category });
 
   commands.addCommand(CommandIDs.closeOtherTabs, {
-    label: () => `Close Other Tabs`,
+    label: () => `Close All Other Tabs`,
     isEnabled: () => {
       // Ensure there are at least two widgets.
       const iterator = shell.widgets('main');