Browse Source

Add to file menu (#5108)

* Add "Open File..." to file menu

* change label
Kunal Marwaha 6 years ago
parent
commit
2e2df6c315

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

@@ -389,7 +389,7 @@ function addCommands(
   });
 
   commands.addCommand(CommandIDs.openDirect, {
-    label: () => 'Open from Path',
+    label: () => 'Open From Path...',
     caption: 'Open from path',
     isEnabled: () => true,
     execute: () => {

+ 2 - 1
packages/mainmenu-extension/src/index.ts

@@ -266,7 +266,8 @@ export function createFileMenu(app: JupyterLab, menu: FileMenu): void {
 
   const newViewGroup = [
     { command: 'docmanager:clone' },
-    { command: CommandIDs.createConsole }
+    { command: CommandIDs.createConsole },
+    { command: 'docmanager:open-direct' }
   ];
 
   // Add the close group