Default current file browser track to the default file browser

jupyter · Jan 11, 2024 · bbdc7b9 · bbdc7b9
1 parent 6f8680c
commit bbdc7b9
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/packages/tree-extension/src/index.ts b/packages/tree-extension/src/index.ts
@@ -18,6 +18,7 @@ import {
   FileBrowser,
   Uploader,
   IDefaultFileBrowser,
+  IFileBrowserFactory,
 } from '@jupyterlab/filebrowser';
 
 import { ISettingRegistry } from '@jupyterlab/settingregistry';
@@ -263,6 +264,7 @@ const notebookTreeWidget: JupyterFrontEndPlugin<INotebookTree> = {
     ITranslator,
     ISettingRegistry,
     IToolbarWidgetRegistry,
+    IFileBrowserFactory,
   ],
   optional: [
     IRunningSessionManagers,
@@ -277,6 +279,7 @@ const notebookTreeWidget: JupyterFrontEndPlugin<INotebookTree> = {
     translator: ITranslator,
     settingRegistry: ISettingRegistry,
     toolbarRegistry: IToolbarWidgetRegistry,
+    factory: IFileBrowserFactory,
     manager: IRunningSessionManagers | null,
     settingEditorTracker: ISettingEditorTracker | null,
     jsonSettingEditorTracker: IJSONSettingEditorTracker | null
@@ -381,6 +384,16 @@ const notebookTreeWidget: JupyterFrontEndPlugin<INotebookTree> = {
       }
     );
 
+    // workaround for https://github.com/jupyter/notebook/issues/7210
+    const { tracker } = factory;
+
+    const setCurrentToDefaultBrower = () => {
+      tracker['_pool'].current = browser;
+    };
+
+    tracker.widgetAdded.connect(setCurrentToDefaultBrower);
+    setCurrentToDefaultBrower();
+
     return nbTreeWidget;
   },
 };