( settingsManager: PiSettingsManager, value: unknown, projectPath?: string | null | undefined, )
| 142 | } |
| 143 | |
| 144 | async function updateThemeSetting( |
| 145 | settingsManager: PiSettingsManager, |
| 146 | value: unknown, |
| 147 | projectPath?: string | null | undefined, |
| 148 | ) { |
| 149 | if (typeof value !== 'string' || value.trim().length === 0) return false |
| 150 | const theme = value.trim() |
| 151 | if (!(await isKnownTheme(theme, projectPath))) throw new Error(`Unknown Pi theme: ${theme}`) |
| 152 | settingsManager.setTheme(theme) |
| 153 | return true |
| 154 | } |
| 155 | |
| 156 | function updateTransportSetting(settingsManager: PiSettingsManager, value: unknown) { |
| 157 | const transport = asPiTransport(value) |
no test coverage detected