(text: string)
| 255 | } |
| 256 | |
| 257 | private static saveStaticThemes(text: string): void { |
| 258 | DevTools.store.set(DevTools.KEY_STATIC, text); |
| 259 | } |
| 260 | |
| 261 | static async getStaticThemesText(): Promise<string> { |
| 262 | let rawThemes = await DevTools.getSavedStaticThemes(); |