()
| 1091 | } |
| 1092 | |
| 1093 | updateCompilerUI(): void { |
| 1094 | this.updateCompilerInfo(); |
| 1095 | // Resize in case the new compiler name is too big |
| 1096 | this.resize(); |
| 1097 | } |
| 1098 | |
| 1099 | async onCompilerChange(value: string): Promise<void> { |
| 1100 | this.compiler = await this.hub.compilerService.findCompiler(this.currentLangId, value); |
no test coverage detected