From d49b3cf5c683b2578f5177125c5db318bda6bd4f Mon Sep 17 00:00:00 2001 From: Jeremy Tuloup Date: Mon, 14 Oct 2024 22:01:29 +0200 Subject: [PATCH] Remove the `StateDB` file browser trick --- packages/tree-extension/src/index.ts | 17 ----------------- 1 file changed, 17 deletions(-) diff --git a/packages/tree-extension/src/index.ts b/packages/tree-extension/src/index.ts index c83dc48beb..6504f58a3f 100644 --- a/packages/tree-extension/src/index.ts +++ b/packages/tree-extension/src/index.ts @@ -384,23 +384,6 @@ const notebookTreeWidget: JupyterFrontEndPlugin = { // 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) => {