src/Tools/VSCode/extension/package.json
changeset 65181 b4105202751c
parent 65179 883acfccb265
child 65183 37f1effd6683
     1.1 --- a/src/Tools/VSCode/extension/package.json	Sat Mar 11 12:12:55 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Sat Mar 11 12:24:54 2017 +0100
     1.3 @@ -96,6 +96,8 @@
     1.4                  "isabelle.warning_dark_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
     1.5                  "isabelle.spell_checker_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.0)" },
     1.6                  "isabelle.spell_checker_dark_color": { "type": "string", "default": "rgba(86, 156, 214, 1.00)" },
     1.7 +                "isabelle.main_light_color": { "type": "string", "default": "rgba(0, 0, 0, 1.00)" },
     1.8 +                "isabelle.main_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" },
     1.9                  "isabelle.keyword1_light_color": { "type": "string", "default": "rgba(175, 0, 219, 1.00)" },
    1.10                  "isabelle.keyword1_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" },
    1.11                  "isabelle.keyword2_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" },