Update to changed id (fixes #42808)

This commit is contained in:
Christof Marti
2018-02-02 11:49:36 +01:00
parent a8696dfab2
commit 7636a7d6f7

View File

@@ -173,7 +173,7 @@ export class IssueReporter extends Disposable {
if (this.environmentService.disableExtensions || extensions.length === 0) {
(<HTMLButtonElement>document.getElementById('disableExtensions')).disabled = true;
(<HTMLInputElement>document.getElementById('reprosWithoutExtensions')).checked = true;
(<HTMLInputElement>document.getElementById('reproducesWithoutExtensions')).checked = true;
this.issueReporterModel.update({ reprosWithoutExtensions: true });
}
}