# HG changeset patch
# User wenzelm
# Date 1314699895 -7200
# Node ID a9cf2380377da3387b13087ee75aed16a221eaff
# Parent  ca3844a3dcf7ab65e1c905f2dc0f8b10b698e8bc
tuned colors -- more distance between outdated_color and quoted_color;

diff -r ca3844a3dcf7 -r a9cf2380377d src/Tools/jEdit/src/isabelle_markup.scala
--- a/src/Tools/jEdit/src/isabelle_markup.scala	Tue Aug 30 12:01:07 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_markup.scala	Tue Aug 30 12:24:55 2011 +0200
@@ -23,7 +23,7 @@
 
   def get_color(s: String): Color = ColorFactory.getInstance.getColor(s)
 
-  val outdated_color = new Color(240, 240, 240)
+  val outdated_color = new Color(238, 227, 227)
   val unfinished_color = new Color(255, 228, 225)
 
   val light_color = new Color(240, 240, 240)