(key: string, fallback: number)
| 30 | |
| 31 | /* Persist panel widths */ |
| 32 | function loadWidth(key: string, fallback: number): number { |
| 33 | try { |
| 34 | const v = localStorage.getItem(key); |
| 35 | if (v) return Math.max(150, Math.min(600, parseInt(v, 10))); |
| 36 | } catch { /* ignore */ } |
| 37 | return fallback; |
| 38 | } |
| 39 | function saveWidth(key: string, value: number) { |
| 40 | try { localStorage.setItem(key, String(Math.round(value))); } catch { /* ignore */ } |
| 41 | } |