src/Tools/VSCode/extension/package.json
changeset 65913 f330f538dae6
parent 65886 aaa016619678
child 65914 9584653df458
     1.1 --- a/src/Tools/VSCode/extension/package.json	Tue May 23 14:23:26 2017 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Tue May 23 20:38:34 2017 +0200
     1.3 @@ -68,8 +68,12 @@
     1.4                      "default": "",
     1.5                      "description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)."
     1.6                  },
     1.7 +                "isabelle.unprocessed_light_color": { "type": "string", "default": "rgba(255, 160, 160, 1.00)" },
     1.8 +                "isabelle.unprocessed_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 1.00)" },
     1.9                  "isabelle.unprocessed1_light_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" },
    1.10                  "isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.20)" },
    1.11 +                "isabelle.running_light_color": { "type": "string", "default": "rgba(97, 0, 97, 1.00)" },
    1.12 +                "isabelle.running_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 1.00)" },
    1.13                  "isabelle.running1_light_color": { "type": "string", "default": "rgba(97, 0, 97, 0.40)" },
    1.14                  "isabelle.running1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.40)" },
    1.15                  "isabelle.bad_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
    1.16 @@ -94,6 +98,8 @@
    1.17                  "isabelle.information_dark_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
    1.18                  "isabelle.warning_light_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
    1.19                  "isabelle.warning_dark_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
    1.20 +                "isabelle.error_light_color": { "type": "string", "default": "rgba(178, 34, 34, 1.00)" },
    1.21 +                "isabelle.error_dark_color": { "type": "string", "default": "rgba(178, 34, 34, 1.00)" },
    1.22                  "isabelle.spell_checker_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.0)" },
    1.23                  "isabelle.spell_checker_dark_color": { "type": "string", "default": "rgba(86, 156, 214, 1.00)" },
    1.24                  "isabelle.main_light_color": { "type": "string", "default": "rgba(0, 0, 0, 1.00)" },