Explorar el Código

Rename 'Close Other Tabs' command item to 'Close All Other Tabs'.

Cheryl Quah hace 6 años
padre
commit
fd73b7baf1
Se han modificado 1 ficheros con 1 adiciones y 1 borrados
  1. 1 1
      packages/application-extension/src/index.tsx

+ 1 - 1
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');