set width globally by default

_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": {

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