From bfdee7873b2c7436a95951f93190c54a0da615f9 Mon Sep 17 00:00:00 2001 From: tophf Date: Tue, 11 Jan 2022 03:15:53 +0300 Subject: [PATCH] set width globally by default --- _locales/en/messages.json | 2 +- js/header-resizer.js | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/_locales/en/messages.json b/_locales/en/messages.json index c578067d..7a7a43d1 100644 --- a/_locales/en/messages.json +++ b/_locales/en/messages.json @@ -505,7 +505,7 @@ "message": "Getting all styles..." }, "headerResizerHint": { - "message": "Holding Shift key while dragging will set the new size in all UI pages", + "message": "Hold Shift to resize only in this type of UI, i.e. editor, manager, installer", "description": "Tooltip for the header panel resizer" }, "helpAlt": { diff --git a/js/header-resizer.js b/js/header-resizer.js index 27c30311..cd36063c 100644 --- a/js/header-resizer.js +++ b/js/header-resizer.js @@ -40,13 +40,13 @@ active = false; } - function save(all) { - if (all) { + function save(perPage) { + if (perPage) { + prefs.set(dom.HWprefId, curW); + } else { for (const k of prefs.knownKeys) { if (k.startsWith(dom.HW)) prefs.set(k, curW); } - } else { - prefs.set(dom.HWprefId, curW); } }