Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned colors;
authorwenzelm
Fri, 10 Mar 2017 18:12:52 +0100
changeset 65175 93fb59c68052
parent 65174 c0388fbd8096
child 65176 908d8be90533
tuned colors;
src/Tools/VSCode/extension/package.json file | annotate | diff | comparison | revisions
src/Tools/VSCode/src/grammar.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/extension/package.json	Fri Mar 10 17:08:21 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json	Fri Mar 10 18:12:52 2017 +0100
@@ -102,18 +102,18 @@
                 "isabelle.warning_dark_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
                 "isabelle.spell_checker_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.0)" },
                 "isabelle.spell_checker_dark_color": { "type": "string", "default": "rgba(0, 0, 255, 1.0)" },
-                "isabelle.keyword1_light_color": { "type": "string", "default": "rgba(0, 102, 153, 1.00)" },
-                "isabelle.keyword1_dark_color": { "type": "string", "default": "rgba(0, 102, 153, 1.00)" },
-                "isabelle.keyword2_light_color": { "type": "string", "default": "rgba(0, 153, 102, 1.00)" },
-                "isabelle.keyword2_dark_color": { "type": "string", "default": "rgba(0, 153, 102, 1.00)" },
-                "isabelle.keyword3_light_color": { "type": "string", "default": "rgba(0, 153, 255, 1.00)" },
-                "isabelle.keyword3_dark_color": { "type": "string", "default": "rgba(0, 153, 255, 1.00)" },
+                "isabelle.keyword1_light_color": { "type": "string", "default": "rgba(175, 0, 219, 1.00)" },
+                "isabelle.keyword1_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" },
+                "isabelle.keyword2_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" },
+                "isabelle.keyword2_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" },
+                "isabelle.keyword3_light_color": { "type": "string", "default": "rgba(38, 127, 153, 1.00)" },
+                "isabelle.keyword3_dark_color": { "type": "string", "default": "rgba(78, 201, 176), 1.00)" },
                 "isabelle.quasi_keyword_light_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
                 "isabelle.quasi_keyword_dark_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
-                "isabelle.improper_light_color": { "type": "string", "default": "rgba(255, 80, 80, 1.00)" },
-                "isabelle.improper_dark_color": { "type": "string", "default": "rgba(255, 80, 80, 1.00)" },
+                "isabelle.improper_light_color": { "type": "string", "default": "rgba(205, 49, 49, 1.00)" },
+                "isabelle.improper_dark_color": { "type": "string", "default": "rgba(244, 71, 71, 1.00)" },
                 "isabelle.operator_light_color": { "type": "string", "default": "rgba(50, 50, 50, 1.00)" },
-                "isabelle.operator_dark_color": { "type": "string", "default": "rgba(50, 50, 50, 1.00)" },
+                "isabelle.operator_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" },
                 "isabelle.tfree_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
                 "isabelle.tfree_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
                 "isabelle.tvar_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
--- a/src/Tools/VSCode/src/grammar.scala	Fri Mar 10 17:08:21 2017 +0100
+++ b/src/Tools/VSCode/src/grammar.scala	Fri Mar 10 18:12:52 2017 +0100
@@ -82,7 +82,7 @@
       "match": """ + grouped_names(keywords1) + """
     },
     {
-      "name": "keyword.other.isabelle",
+      "name": "keyword.other.unit.isabelle",
       "match": """ + grouped_names(keywords2) + """
     },
     {
@@ -90,7 +90,7 @@
       "match": """ + grouped_names(operators) + """
     },
     {
-      "name": "entity.name.function.isabelle",
+      "name": "entity.name.type.isabelle",
       "match": """ + grouped_names(keywords3) + """
     },
     {
isabelle