(text: string)
| 156 | } |
| 157 | |
| 158 | private static saveDetectorHints(text: string) { |
| 159 | DevTools.store.set(DevTools.KEY_DETECTOR, text); |
| 160 | } |
| 161 | |
| 162 | static async getDetectorHintsText(): Promise<string> { |
| 163 | let rawFixes = await DevTools.getSavedDetectorHints(); |