From f93a9ee086577a2aa0619400f2ac0bfcd6f5473c Mon Sep 17 00:00:00 2001 From: Skyler Grey Date: Thu, 6 Jun 2024 12:33:32 +0000 Subject: [PATCH] fix: Use global.savedUIState instead of ui_default savedUIState isn't a normal UI_default, so it doesn't show up in the ui_defaults list, and we can't fetch it with our prefs helper. Instead, we should use the property on window As a followup, it may be nice to make savedUIState be treated like a normal ui_default, but I think that an overhaul of server-side ui_default stuff is too risky for now Signed-off-by: Skyler Grey Change-Id: Ia66570c4694608a5caf7feba60208f34ca3c8ad3 --- browser/js/global.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/browser/js/global.js b/browser/js/global.js index c76ce483c..3fdc4ba36 100644 --- a/browser/js/global.js +++ b/browser/js/global.js @@ -325,7 +325,7 @@ window.app = { const uiDefault = global.prefs._getUIDefault(key); if ( - global.prefs._getUIDefault('SavedUIState', 'true').toLowerCase() === 'false' && + !global.savedUIState && uiDefault !== undefined ) { return uiDefault;