From 6bd11d0301bebf455f3fe505770d50cbc2ec01fe Mon Sep 17 00:00:00 2001 From: Justin Chen <54879025+justschen@users.noreply.github.com> Date: Tue, 19 Sep 2023 14:52:40 -0700 Subject: [PATCH] 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 --------- Co-authored-by: Tyler James Leonhardt --- src/vs/code/electron-sandbox/issue/issueReporterService.ts | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/vs/code/electron-sandbox/issue/issueReporterService.ts b/src/vs/code/electron-sandbox/issue/issueReporterService.ts index 89fcc9d0e75..e095b3d6d03 100644 --- a/src/vs/code/electron-sandbox/issue/issueReporterService.ts +++ b/src/vs/code/electron-sandbox/issue/issueReporterService.ts @@ -1052,10 +1052,11 @@ export class IssueReporter extends Disposable { }, extension.name); }; - const extensionsSelector = this.getElementById('extension-selector'); + const extensionsSelector = this.getElementById('extension-selector'); if (extensionsSelector) { const { selectedExtension } = this.issueReporterModel.getData(); - reset(extensionsSelector, $('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 = (e.target).value;