(px: number)
| 324 | } |
| 325 | |
| 326 | function clampPanelWidth(px: number): number { |
| 327 | return Math.min(MAX_RIGHT_PANEL_WIDTH, Math.max(MIN_RIGHT_PANEL_WIDTH, Math.round(px))) |
| 328 | } |
| 329 | |
| 330 | function normalizePanelWidths(value: unknown): PanelWidths { |
| 331 | const v = (value ?? {}) as Partial<Record<RightPanelId, unknown>> |