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/rendering.scala
changeset 55765 ec7ca5388dea
parent 55749 75a48dc4383e
child 55790 4670f18baba5 
--- a/src/Tools/jEdit/src/rendering.scala	Wed Feb 26 11:14:38 2014 +0100
+++ b/src/Tools/jEdit/src/rendering.scala	Wed Feb 26 11:58:35 2014 +0100
@@ -682,6 +682,7 @@
   private lazy val text_colors: Map[String, Color] = Map(
       Markup.KEYWORD1 -> keyword1_color,
       Markup.KEYWORD2 -> keyword2_color,
+      Markup.KEYWORD3 -> keyword3_color,
       Markup.STRING -> Color.BLACK,
       Markup.ALTSTRING -> Color.BLACK,
       Markup.VERBATIM -> Color.BLACK,
isabelle