tuned colors;
authorwenzelm
Fri Mar 10 18:12:52 2017 +0100 (2017-03-10)
changeset 6517593fb59c68052
parent 65174 c0388fbd8096
child 65176 908d8be90533
tuned colors;
src/Tools/VSCode/extension/package.json
src/Tools/VSCode/src/grammar.scala
     1.1 --- a/src/Tools/VSCode/extension/package.json	Fri Mar 10 17:08:21 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Fri Mar 10 18:12:52 2017 +0100
     1.3 @@ -102,18 +102,18 @@
     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(0, 0, 255, 1.0)" },
     1.7 -                "isabelle.keyword1_light_color": { "type": "string", "default": "rgba(0, 102, 153, 1.00)" },
     1.8 -                "isabelle.keyword1_dark_color": { "type": "string", "default": "rgba(0, 102, 153, 1.00)" },
     1.9 -                "isabelle.keyword2_light_color": { "type": "string", "default": "rgba(0, 153, 102, 1.00)" },
    1.10 -                "isabelle.keyword2_dark_color": { "type": "string", "default": "rgba(0, 153, 102, 1.00)" },
    1.11 -                "isabelle.keyword3_light_color": { "type": "string", "default": "rgba(0, 153, 255, 1.00)" },
    1.12 -                "isabelle.keyword3_dark_color": { "type": "string", "default": "rgba(0, 153, 255, 1.00)" },
    1.13 +                "isabelle.keyword1_light_color": { "type": "string", "default": "rgba(175, 0, 219, 1.00)" },
    1.14 +                "isabelle.keyword1_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" },
    1.15 +                "isabelle.keyword2_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" },
    1.16 +                "isabelle.keyword2_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" },
    1.17 +                "isabelle.keyword3_light_color": { "type": "string", "default": "rgba(38, 127, 153, 1.00)" },
    1.18 +                "isabelle.keyword3_dark_color": { "type": "string", "default": "rgba(78, 201, 176), 1.00)" },
    1.19                  "isabelle.quasi_keyword_light_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
    1.20                  "isabelle.quasi_keyword_dark_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
    1.21 -                "isabelle.improper_light_color": { "type": "string", "default": "rgba(255, 80, 80, 1.00)" },
    1.22 -                "isabelle.improper_dark_color": { "type": "string", "default": "rgba(255, 80, 80, 1.00)" },
    1.23 +                "isabelle.improper_light_color": { "type": "string", "default": "rgba(205, 49, 49, 1.00)" },
    1.24 +                "isabelle.improper_dark_color": { "type": "string", "default": "rgba(244, 71, 71, 1.00)" },
    1.25                  "isabelle.operator_light_color": { "type": "string", "default": "rgba(50, 50, 50, 1.00)" },
    1.26 -                "isabelle.operator_dark_color": { "type": "string", "default": "rgba(50, 50, 50, 1.00)" },
    1.27 +                "isabelle.operator_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" },
    1.28                  "isabelle.tfree_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
    1.29                  "isabelle.tfree_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
    1.30                  "isabelle.tvar_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
     2.1 --- a/src/Tools/VSCode/src/grammar.scala	Fri Mar 10 17:08:21 2017 +0100
     2.2 +++ b/src/Tools/VSCode/src/grammar.scala	Fri Mar 10 18:12:52 2017 +0100
     2.3 @@ -82,7 +82,7 @@
     2.4        "match": """ + grouped_names(keywords1) + """
     2.5      },
     2.6      {
     2.7 -      "name": "keyword.other.isabelle",
     2.8 +      "name": "keyword.other.unit.isabelle",
     2.9        "match": """ + grouped_names(keywords2) + """
    2.10      },
    2.11      {
    2.12 @@ -90,7 +90,7 @@
    2.13        "match": """ + grouped_names(operators) + """
    2.14      },
    2.15      {
    2.16 -      "name": "entity.name.function.isabelle",
    2.17 +      "name": "entity.name.type.isabelle",
    2.18        "match": """ + grouped_names(keywords3) + """
    2.19      },
    2.20      {