From 44d4d8b15d1036c5cf93f6b664b7ede0273a8555 Mon Sep 17 00:00:00 2001 From: Alf Eaton Date: Mon, 23 May 2022 12:57:09 +0100 Subject: [PATCH] Ensure that file tree re-opens on page load (#8061) GitOrigin-RevId: ec3d6a43a34aefa2e9574ef7b1b61f8a53b74263 --- services/web/frontend/js/ide/directives/layout.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/services/web/frontend/js/ide/directives/layout.js b/services/web/frontend/js/ide/directives/layout.js index 029fdd165b..4349eaee5d 100644 --- a/services/web/frontend/js/ide/directives/layout.js +++ b/services/web/frontend/js/ide/directives/layout.js @@ -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 } }