File tree 1 file changed +13
-0
lines changed
packages/tree-extension/src
1 file changed +13
-0
lines changed Original file line number Diff line number Diff line change @@ -18,6 +18,7 @@ import {
18
18
FileBrowser ,
19
19
Uploader ,
20
20
IDefaultFileBrowser ,
21
+ IFileBrowserFactory ,
21
22
} from '@jupyterlab/filebrowser' ;
22
23
23
24
import { ISettingRegistry } from '@jupyterlab/settingregistry' ;
@@ -263,6 +264,7 @@ const notebookTreeWidget: JupyterFrontEndPlugin<INotebookTree> = {
263
264
ITranslator ,
264
265
ISettingRegistry ,
265
266
IToolbarWidgetRegistry ,
267
+ IFileBrowserFactory ,
266
268
] ,
267
269
optional : [
268
270
IRunningSessionManagers ,
@@ -277,6 +279,7 @@ const notebookTreeWidget: JupyterFrontEndPlugin<INotebookTree> = {
277
279
translator : ITranslator ,
278
280
settingRegistry : ISettingRegistry ,
279
281
toolbarRegistry : IToolbarWidgetRegistry ,
282
+ factory : IFileBrowserFactory ,
280
283
manager : IRunningSessionManagers | null ,
281
284
settingEditorTracker : ISettingEditorTracker | null ,
282
285
jsonSettingEditorTracker : IJSONSettingEditorTracker | null
@@ -381,6 +384,16 @@ const notebookTreeWidget: JupyterFrontEndPlugin<INotebookTree> = {
381
384
}
382
385
) ;
383
386
387
+ // workaround for https://github.com/jupyter/notebook/issues/7210
388
+ const { tracker } = factory ;
389
+
390
+ const setCurrentToDefaultBrower = ( ) => {
391
+ tracker [ '_pool' ] . current = browser ;
392
+ } ;
393
+
394
+ tracker . widgetAdded . connect ( setCurrentToDefaultBrower ) ;
395
+ setCurrentToDefaultBrower ( ) ;
396
+
384
397
return nbTreeWidget ;
385
398
} ,
386
399
} ;
You can’t perform that action at this time.
0 commit comments