Added placeholder for extensions dropdown (#193504)

* disable code actions specifically for autosave after delay:

* added fix for placeholder

* cleanup and removed empty option

* code cleanup

* specify htmlelement type

Co-authored-by: Tyler James Leonhardt <me@tylerleonhardt.com>

---------

Co-authored-by: Tyler James Leonhardt <me@tylerleonhardt.com>
This commit is contained in:
Justin Chen
2023-09-19 14:52:40 -07:00
committed by GitHub
co-authored by Tyler James Leonhardt
parent 5ce4d55c14
commit 6bd11d0301
@@ -1052,10 +1052,11 @@ export class IssueReporter extends Disposable {
}, extension.name);
};
const extensionsSelector = this.getElementById('extension-selector');
const extensionsSelector = this.getElementById<HTMLSelectElement>('extension-selector');
if (extensionsSelector) {
const { selectedExtension } = this.issueReporterModel.getData();
reset(extensionsSelector, $<HTMLOptionElement>('option'), ...extensionOptions.map(extension => makeOption(extension, selectedExtension)));
reset(extensionsSelector, this.makeOption('', localize('selectExtension', "Select extension"), true), ...extensionOptions.map(extension => makeOption(extension, selectedExtension)));
extensionsSelector.selectedIndex = 0;
this.addEventListener('extension-selector', 'change', (e: Event) => {
const selectedExtensionId = (<HTMLInputElement>e.target).value;