()
| 107 | } |
| 108 | |
| 109 | export function loadFloatingPrefs(): FloatingPrefs { |
| 110 | const fallback: FloatingPrefs = { |
| 111 | vimMode: true, |
| 112 | vimInsertEscape: '', |
| 113 | livePreview: true, |
| 114 | themeId: DEFAULT_THEME_ID, |
| 115 | themeFamily: 'gruvbox', |
| 116 | themeMode: 'dark', |
| 117 | editorFontSize: 16, |
| 118 | editorLineHeight: 1.7, |
| 119 | lineNumberMode: 'off', |
| 120 | wordWrap: true, |
| 121 | interfaceFont: null, |
| 122 | textFont: null, |
| 123 | monoFont: null |
| 124 | } |
| 125 | try { |
| 126 | const raw = localStorage.getItem(PREFS_KEY) |
| 127 | if (!raw) return fallback |
| 128 | const parsed = JSON.parse(raw) as Partial<FloatingPrefs> |
| 129 | const lineNumberMode: LineNumberMode = |
| 130 | parsed.lineNumberMode === 'absolute' || |
| 131 | parsed.lineNumberMode === 'relative' || |
| 132 | parsed.lineNumberMode === 'off' |
| 133 | ? parsed.lineNumberMode |
| 134 | : fallback.lineNumberMode |
| 135 | return { |
| 136 | ...fallback, |
| 137 | ...parsed, |
| 138 | themeFamily: (parsed.themeFamily as ThemeFamily) ?? fallback.themeFamily, |
| 139 | themeMode: (parsed.themeMode as ThemeMode) ?? fallback.themeMode, |
| 140 | lineNumberMode |
| 141 | } |
| 142 | } catch { |
| 143 | return fallback |
| 144 | } |
| 145 | } |
| 146 | |
| 147 | export function lineNumberExtension(mode: LineNumberMode): Extension { |
| 148 | if (mode === 'off') return [] |
no outgoing calls
no test coverage detected