tuned colors according to Light+ and Dark+ themes;
authorwenzelm
Sat Mar 11 12:24:54 2017 +0100 (2017-03-11)
changeset 65181b4105202751c
parent 65180 b5a8f27a4980
child 65182 973b7669e7d9
tuned colors according to Light+ and Dark+ themes;
src/Tools/VSCode/extension/package.json
src/Tools/VSCode/extension/src/decorations.ts
     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)" },
     2.1 --- a/src/Tools/VSCode/extension/src/decorations.ts	Sat Mar 11 12:12:55 2017 +0100
     2.2 +++ b/src/Tools/VSCode/extension/src/decorations.ts	Sat Mar 11 12:24:54 2017 +0100
     2.3 @@ -35,6 +35,7 @@
     2.4  ]
     2.5  
     2.6  const text_colors = [
     2.7 +  "main",
     2.8    "keyword1",
     2.9    "keyword2",
    2.10    "keyword3",