From fffeb49c30ada22c0143e220991a1b382ba9fae8 Mon Sep 17 00:00:00 2001 From: meganrogge Date: Tue, 7 Nov 2023 11:14:27 -0800 Subject: [PATCH] fix issues --- src/vscode-dts/vscode.proposed.terminalQuickFixProvider.d.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/vscode-dts/vscode.proposed.terminalQuickFixProvider.d.ts b/src/vscode-dts/vscode.proposed.terminalQuickFixProvider.d.ts index 22b58338bde..ab06faacd7f 100644 --- a/src/vscode-dts/vscode.proposed.terminalQuickFixProvider.d.ts +++ b/src/vscode-dts/vscode.proposed.terminalQuickFixProvider.d.ts @@ -43,10 +43,10 @@ declare module 'vscode' { */ terminalCommand: string; /** - * Whether the command should be executed or just inserted + * Whether the command should be executed or just inserted (default) */ shouldExecute?: boolean; - constructor(terminalCommand: string); + constructor(terminalCommand: string, shouldExecute?: boolean); } export class TerminalQuickFixOpener { /**