Ensure that file tree re-opens on page load (#8061)

GitOrigin-RevId: ec3d6a43a34aefa2e9574ef7b1b61f8a53b74263
2026-11-14 14:13:43 +01:00 · 2022-05-24 08:03:58 +00:00
parent 80f6662957
commit 44d4d8b15d
1 changed files with 2 additions and 1 deletions
@@ -91,7 +91,8 @@ export default App.directive('layout', ($parse, $compile, ide) => ({
            ) {
              options.west = state.west
            }
-            options.west.initClosed = state.west.initClosed
+            // NOTE: disabled so that the file tree re-opens on page load
+            // options.west.initClosed = state.west.initClosed
          }
        }