src/Tools/VSCode/extension/package.json
changeset 68871 f5c76072db55
parent 68870 53a75627aab7
child 68872 cd7ab35aa40c
     1.1 --- a/src/Tools/VSCode/extension/package.json	Sat Sep 01 18:39:36 2018 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Sat Sep 01 20:20:50 2018 +0200
     1.3 @@ -250,6 +250,14 @@
     1.4                      "type": "string",
     1.5                      "default": "rgba(255, 160, 160, 0.40)"
     1.6                  },
     1.7 +                "isabelle.canceled_light_color": {
     1.8 +                    "type": "string",
     1.9 +                    "default": "rgba(255, 106, 106, 0.40)"
    1.10 +                },
    1.11 +                "isabelle.canceled_dark_color": {
    1.12 +                    "type": "string",
    1.13 +                    "default": "rgba(255, 106, 106, 0.40)"
    1.14 +                },
    1.15                  "isabelle.bad_light_color": {
    1.16                      "type": "string",
    1.17                      "default": "rgba(255, 106, 106, 0.40)"