add modal to undo merge commit

related to #69937
This commit is contained in:
Joao Moreno
2019-10-29 15:39:49 +01:00
parent 6a3c0d5bd7
commit 32a529d1ca

View File

@@ -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;