Git - Optimistic UI plumbing (#165237)

2026-04-27 03:54:24 +01:00 · 2022-11-04 12:52:28 +01:00
parent 2423a7a714
commit b208b8794d
4 changed files with 138 additions and 91 deletions
--- a/extensions/git/package.json
+++ b/extensions/git/package.json
@@ -2543,6 +2543,15 @@
          "default": false,
          "markdownDescription": "%config.mergeEditor%",
          "scope": "window"
+        },
+        "git.optimisticUpdate": {
+          "type": "boolean",
+          "default": true,
+          "markdownDescription": "%config.optimisticUpdate%",
+          "scope": "resource",
+          "tags": [
+            "experimental"
+          ]
        }
      }
    },