tuned colors;
authorwenzelm
Sat Mar 11 14:33:37 2017 +0100 (2017-03-11)
changeset 65185663bb1614d23
parent 65184 0f555ce33970
child 65186 4659e87c3795
tuned colors;
src/Tools/VSCode/extension/package.json
     1.1 --- a/src/Tools/VSCode/extension/package.json	Sat Mar 11 14:25:26 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Sat Mar 11 14:33:37 2017 +0100
     1.3 @@ -69,9 +69,9 @@
     1.4                      "description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)."
     1.5                  },
     1.6                  "isabelle.unprocessed1_light_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" },
     1.7 -                "isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.15)" },
     1.8 +                "isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.20)" },
     1.9                  "isabelle.running1_light_color": { "type": "string", "default": "rgba(97, 0, 97, 0.40)" },
    1.10 -                "isabelle.running1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.20)" },
    1.11 +                "isabelle.running1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.40)" },
    1.12                  "isabelle.bad_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
    1.13                  "isabelle.bad_dark_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
    1.14                  "isabelle.intensify_light_color": { "type": "string", "default": "rgba(255, 204, 102, 0.40)" },