(key: RightPanelId)
| 330 | function normalizePanelWidths(value: unknown): PanelWidths { |
| 331 | const v = (value ?? {}) as Partial<Record<RightPanelId, unknown>> |
| 332 | const pick = (key: RightPanelId): number => |
| 333 | typeof v[key] === 'number' ? clampPanelWidth(v[key] as number) : DEFAULT_PANEL_WIDTHS[key] |
| 334 | return { |
| 335 | outline: pick('outline'), |
| 336 | connections: pick('connections'), |
no test coverage detected