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.
less rendering (cf. 28bd0709443a) -- avoid conflict with static token markup of different keyword kinds;
authorwenzelm
Fri, 21 Sep 2012 11:42:14 +0200
changeset 49476 8ae5804c4ba8
parent 49475 8f3a3adadd5a
child 49489 f59475e6589f
less rendering (cf. 28bd0709443a) -- avoid conflict with static token markup of different keyword kinds;
src/Tools/jEdit/src/isabelle_rendering.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/isabelle_rendering.scala	Thu Sep 20 22:25:30 2012 +0200
+++ b/src/Tools/jEdit/src/isabelle_rendering.scala	Fri Sep 21 11:42:14 2012 +0200
@@ -439,7 +439,6 @@
 
 
   private val text_colors: Map[String, Color] = Map(
-      Isabelle_Markup.COMMAND -> keyword1_color,
       Isabelle_Markup.STRING -> Color.BLACK,
       Isabelle_Markup.ALTSTRING -> Color.BLACK,
       Isabelle_Markup.VERBATIM -> Color.BLACK,
isabelle