From 19b06ed27f738332ed2f376d7cc2563795226923 Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Mon, 14 Oct 2024 19:17:30 +0000
Subject: [PATCH] one more try

---
 packages/tree-extension/src/index.ts | 38 +++++++++++++++-------------
 1 file changed, 20 insertions(+), 18 deletions(-)

diff --git a/packages/tree-extension/src/index.ts b/packages/tree-extension/src/index.ts
index b664753838..c83dc48beb 100644
--- a/packages/tree-extension/src/index.ts
+++ b/packages/tree-extension/src/index.ts
@@ -384,29 +384,31 @@ const notebookTreeWidget: JupyterFrontEndPlugin<INotebookTree> = {
     // See https://github.com/jupyterlab/jupyterlab/issues/15629 for more info
     const setCurrentToDefaultBrower = () => {
       tracker['_pool'].current = browser;
+
+      // TODO: remove?
+      // provide some default state so the file browser widths are consistent and predictable
+      setTimeout(() => {
+        stateDB
+          .save('file-browser-filebrowser:columns', {
+            sizes: {
+              name: 738.65625,
+              file_size: 109.95727378063403,
+              is_selected: 18,
+              last_modified: 406.5739762193659,
+            },
+          })
+          .then(async () => {
+            await browser['listing'].restore('filebrowser');
+          });
+      });
     };
 
-    tracker.widgetAdded.connect((sender, widget) =>
-      setCurrentToDefaultBrower()
-    );
+    tracker.widgetAdded.connect((sender, widget) => {
+      setCurrentToDefaultBrower();
+    });
 
     setCurrentToDefaultBrower();
 
-    // TODO: remove?
-    // provide some default state so the file browser widths are consistent and predictable
-    stateDB
-      .save('file-browser-filebrowser:columns', {
-        sizes: {
-          name: 496.953125,
-          file_size: 274.16145833333394,
-          is_selected: 28,
-          last_modified: 474.072916666666,
-        },
-      })
-      .then(async () => {
-        await browser['listing'].restore('filebrowser');
-      });
-
     return nbTreeWidget;
   },
 };