# HG changeset patch
# User wenzelm
# Date 1285341129 -7200
# Node ID 4ce5f79df87abdf55ad0303da484ef94c55ec382
# Parent  6c6164b37fef33df1a880511711808d6e689a695
tuned error_color;

diff -r 6c6164b37fef -r 4ce5f79df87a src/Tools/jEdit/src/jedit/isabelle_markup.scala
--- a/src/Tools/jEdit/src/jedit/isabelle_markup.scala	Fri Sep 24 17:09:07 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_markup.scala	Fri Sep 24 17:12:09 2010 +0200
@@ -24,7 +24,7 @@
   val light_color = new Color(240, 240, 240)
   val regular_color = new Color(192, 192, 192)
   val warning_color = new Color(255, 168, 0)
-  val error_color = new Color(255, 80, 80)
+  val error_color = new Color(178, 34, 34)
   val bad_color = new Color(255, 106, 106, 100)
 
   class Icon(val priority: Int, val icon: javax.swing.Icon)