Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/isabelle_markup.scala
changeset 43432 224006e5ac46
parent 43431 f3d5cecfecdc
child 43434 2fd41645813d 
--- a/src/Tools/jEdit/src/isabelle_markup.scala	Sat Jun 18 12:13:42 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_markup.scala	Sat Jun 18 12:37:42 2011 +0200
@@ -122,6 +122,7 @@
       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