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 markup;
authorwenzelm
Sat, 18 Jun 2011 15:07:16 +0200
changeset 43436 13afd4634ac3
parent 43435 ae6b0c3e58a8
child 43437 55866987a7d9
tuned markup;
src/Tools/jEdit/src/isabelle_markup.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/isabelle_markup.scala	Sat Jun 18 14:48:56 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_markup.scala	Sat Jun 18 15:07:16 2011 +0200
@@ -112,6 +112,9 @@
 
   private val text_colors: Map[String, Color] =
     Map(
+      Markup.LITERAL -> keyword1_color,
+      Markup.DELIMITER -> get_color("black"),
+      Markup.IDENT -> get_color("black"),
       Markup.TCLASS -> get_color("red"),
       Markup.TFREE -> get_color("#A020F0"),
       Markup.TVAR -> get_color("#A020F0"),
@@ -123,8 +126,6 @@
       Markup.INNER_STRING -> get_color("#D2691E"),
       Markup.INNER_COMMENT -> get_color("#8B0000"),
       Markup.DYNAMIC_FACT -> get_color("yellowgreen"),
-      Markup.LITERAL -> keyword1_color,
-      Markup.DELIMITER -> get_color("black"),
       Markup.ML_KEYWORD -> keyword1_color,
       Markup.ML_DELIMITER -> get_color("black"),
       Markup.ML_NUMERAL -> get_color("red"),
isabelle