Переглянути джерело

Merge pull request #10667 from goanpeca/add/preferred-dir-handling

PR: Add preferred-dir handling
Eric Charles 3 роки тому
батько
коміт
68582dec79
1 змінених файлів з 8 додано та 2 видалено
  1. 8 2
      packages/filebrowser-extension/src/index.ts

+ 8 - 2
packages/filebrowser-extension/src/index.ts

@@ -138,7 +138,7 @@ const browser: JupyterFrontEndPlugin<void> = {
     ICommandPalette
   ],
   autoStart: true,
-  activate: (
+  activate: async (
     app: JupyterFrontEnd,
     factory: IFileBrowserFactory,
     translator: ITranslator,
@@ -146,7 +146,7 @@ const browser: JupyterFrontEndPlugin<void> = {
     settingRegistry: ISettingRegistry | null,
     treePathUpdater: ITreePathUpdater | null,
     commandPalette: ICommandPalette | null
-  ): void => {
+  ): Promise<void> => {
     const trans = translator.load('jupyterlab');
     const browser = factory.defaultBrowser;
     browser.node.setAttribute('role', 'region');
@@ -162,6 +162,12 @@ const browser: JupyterFrontEndPlugin<void> = {
       restorer.add(browser, namespace);
     }
 
+    // Navigate to preferred-dir trait if found
+    const preferredPath = PageConfig.getOption('preferredPath');
+    if (preferredPath) {
+      await browser.model.cd(preferredPath);
+    }
+
     addCommands(app, factory, translator, settingRegistry, commandPalette);
 
     browser.title.icon = folderIcon;