From 32a529d1cad8a35fd9786f2afc7e283fabe1f3eb Mon Sep 17 00:00:00 2001 From: Joao Moreno Date: Tue, 29 Oct 2019 15:39:49 +0100 Subject: [PATCH] add modal to undo merge commit related to #69937 --- extensions/git/src/commands.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/git/src/commands.ts b/extensions/git/src/commands.ts index c019cd96d11..1be1e4c1084 100644 --- a/extensions/git/src/commands.ts +++ b/extensions/git/src/commands.ts @@ -1554,7 +1554,7 @@ export class CommandCenter { if (commit.parents.length > 1) { const yes = localize('undo commit', "Undo merge commit"); - const result = await window.showWarningMessage(localize('merge commit', "The last commit was a merge commit. Are you sure you want to undo it?"), yes); + const result = await window.showWarningMessage(localize('merge commit', "The last commit was a merge commit. Are you sure you want to undo it?"), { modal: true }, yes); if (result !== yes) { return;