add git.supportCancellation setting

2026-04-28 12:33:35 +01:00 · 2019-08-06 14:15:47 +02:00
parent 1c781cb1d2 6dbf6b5857
commit 54c6639bf8
5 changed files with 46 additions and 11 deletions
--- a/extensions/git/package.json
+++ b/extensions/git/package.json
@@ -1318,6 +1318,12 @@
          "scope": "resource",
          "default": true,
          "description": "%config.openDiffOnClick%"
+        },
+        "git.supportCancellation": {
+          "type": "boolean",
+          "scope": "resource",
+          "default": false,
+          "description": "%config.supportCancellation%"
        }
      }
    },
@@ -1483,4 +1489,4 @@
    "@types/which": "^1.0.28",
    "mocha": "^3.2.0"
  }
-}
+}