also use darker red for git deleted

2026-04-27 03:54:24 +01:00 · 2017-10-25 17:24:24 +02:00
parent 5d93cd1543
commit 3e3d09021d
1 changed files with 1 additions and 1 deletions
--- a/extensions/git/package.json
+++ b/extensions/git/package.json
@@ -846,7 +846,7 @@
        "id": "git.color.deleted",
        "description": "Color for deleted resources",
        "defaults": {
-          "light": "#c02e11",
+          "light": "#ad0707",
          "dark": "#c74e39",
          "highContrast": "#c74e39"
        }