fixes #52037

2026-04-24 18:49:00 +01:00 · 2018-09-12 11:55:12 +02:00
parent deaf77560a
commit 7ffa9219ae
3 changed files with 44 additions and 5 deletions
--- a/extensions/git/package.json
+++ b/extensions/git/package.json
@@ -1045,6 +1045,12 @@
          "default": [],
          "scope": "window",
          "description": "%config.ignoredRepositories%"
+        },
+        "git.showProgress": {
+          "type": "boolean",
+          "description": "%config.showProgress%",
+          "default": true,
+          "scope": "resource"
        }
      }
    },
@@ -1209,4 +1215,4 @@
    "@types/which": "^1.0.28",
    "mocha": "^3.2.0"
  }
-}
+}