Browse Source

Merge pull request #4773 from ian-r-rose/capital-case-label

Make label capital case.
Ian Rose 6 years ago
parent
commit
e93a049d65
1 changed files with 1 additions and 1 deletions
  1. 1 1
      packages/docmanager-extension/src/index.ts

+ 1 - 1
packages/docmanager-extension/src/index.ts

@@ -444,7 +444,7 @@ function addCommands(app: JupyterLab, docManager: IDocumentManager, palette: ICo
   });
 
   commands.addCommand(CommandIDs.showInFileBrowser, {
-    label: () => `Show in file browser`,
+    label: () => `Show in File Browser`,
     isEnabled,
     execute: () => {
       let context = docManager.contextForWidget(app.shell.currentWidget);