# HG changeset patch
# User wenzelm
# Date 1308433882 -7200
# Node ID 3c9696efe6b4506037274bb6e30e6e7369562b6e
# Parent  5cf548485529085794fb50437c1d57eec77d404b
tuned markup;

diff -r 5cf548485529 -r 3c9696efe6b4 src/Tools/jEdit/src/isabelle_markup.scala
--- a/src/Tools/jEdit/src/isabelle_markup.scala	Sat Jun 18 23:34:34 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_markup.scala	Sat Jun 18 23:51:22 2011 +0200
@@ -118,7 +118,7 @@
       Markup.TCLASS -> get_color("red"),
       Markup.TFREE -> get_color("#A020F0"),
       Markup.TVAR -> get_color("#A020F0"),
-      Markup.CONST -> get_color("dimgrey"),
+      Markup.CONST -> get_color("black"),
       Markup.FREE -> get_color("blue"),
       Markup.SKOLEM -> get_color("#D2691E"),
       Markup.BOUND -> get_color("green"),