# HG changeset patch
# User wenzelm
# Date 1348220534 -7200
# Node ID 8ae5804c4ba81cc0366c90206229b9f73ff55fd3
# Parent  8f3a3adadd5adc46c820089194528689473c03ca
less rendering (cf. 28bd0709443a) -- avoid conflict with static token markup of different keyword kinds;

diff -r 8f3a3adadd5a -r 8ae5804c4ba8 src/Tools/jEdit/src/isabelle_rendering.scala
--- 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,