# HG changeset patch
# User wenzelm
# Date 1314719441 -7200
# Node ID 795978192588f73ae72db612f0582fbab5dc8258
# Parent  04f64e602fa66dc1eddfc721986e6d79639b16f1
tuned color for Mac OS X (very light color profile?);

diff -r 04f64e602fa6 -r 795978192588 src/Tools/jEdit/src/isabelle_markup.scala
--- a/src/Tools/jEdit/src/isabelle_markup.scala	Tue Aug 30 17:36:12 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_markup.scala	Tue Aug 30 17:50:41 2011 +0200
@@ -145,7 +145,7 @@
       Markup.VAR -> get_color("#00009B"),
       Markup.INNER_STRING -> get_color("#D2691E"),
       Markup.INNER_COMMENT -> get_color("#8B0000"),
-      Markup.DYNAMIC_FACT -> get_color("yellowgreen"),
+      Markup.DYNAMIC_FACT -> get_color("#7BA428"),
       Markup.ML_KEYWORD -> keyword1_color,
       Markup.ML_DELIMITER -> get_color("black"),
       Markup.ML_NUMERAL -> get_color("red"),