(themeString: string | undefined)
| 23 | } |
| 24 | |
| 25 | function parseThemeString(themeString: string | undefined): any { |
| 26 | themeString = themeString |
| 27 | ?.split("\n") |
| 28 | .filter((line) => { |
| 29 | return !line.trim().startsWith("//") |
| 30 | }) |
| 31 | .join("\n") |
| 32 | return JSON.parse(themeString ?? "{}") |
| 33 | } |
| 34 | |
| 35 | export async function getTheme() { |
| 36 | let currentTheme = undefined |