--- 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)