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); } }