|
@@ -70,6 +70,7 @@ const cmdIds = {
|
|
saveAs: 'file-operations:saveAs',
|
|
saveAs: 'file-operations:saveAs',
|
|
close: 'file-operations:close',
|
|
close: 'file-operations:close',
|
|
closeAll: 'file-operations:closeAll',
|
|
closeAll: 'file-operations:closeAll',
|
|
|
|
+ open: 'file-operations:open',
|
|
showBrowser: 'file-browser:activate',
|
|
showBrowser: 'file-browser:activate',
|
|
hideBrowser: 'file-browser:hide',
|
|
hideBrowser: 'file-browser:hide',
|
|
toggleBrowser: 'file-browser:toggle'
|
|
toggleBrowser: 'file-browser:toggle'
|
|
@@ -92,6 +93,7 @@ function activateFileBrowser(app: JupyterLab, manager: IServiceManager, registry
|
|
app.shell.addToMainArea(widget);
|
|
app.shell.addToMainArea(widget);
|
|
tracker.addWidget(widget);
|
|
tracker.addWidget(widget);
|
|
}
|
|
}
|
|
|
|
+ app.shell.activateMain(widget.id);
|
|
}
|
|
}
|
|
};
|
|
};
|
|
let { commands, keymap } = app;
|
|
let { commands, keymap } = app;
|
|
@@ -213,6 +215,12 @@ function addCommands(app: JupyterLab, tracker: WidgetTracker<Widget>, fbWidget:
|
|
}
|
|
}
|
|
}
|
|
}
|
|
});
|
|
});
|
|
|
|
+ commands.addCommand(cmdIds.open, {
|
|
|
|
+ execute: args => {
|
|
|
|
+ let path = args['path'] as string;
|
|
|
|
+ fbWidget.openPath(path);
|
|
|
|
+ }
|
|
|
|
+ });
|
|
commands.addCommand(cmdIds.close, {
|
|
commands.addCommand(cmdIds.close, {
|
|
label: 'Close',
|
|
label: 'Close',
|
|
execute: () => {
|
|
execute: () => {
|