(state: PaneState)
| 175 | } |
| 176 | |
| 177 | override initializeCompilerInfo(state: PaneState) { |
| 178 | this.compilerInfo = { |
| 179 | compilerId: 0, |
| 180 | compilerName: '', |
| 181 | editorId: 0, |
| 182 | treeId: 0, |
| 183 | }; |
| 184 | } |
| 185 | |
| 186 | override initializeDefaults(): void { |
| 187 | this.ourCompilers = {}; |