# HG changeset patch
# User wenzelm
# Date 1314454284 -7200
# Node ID 5a35790413f5e4828a97f0c2d98b465e7d60b4e0
# Parent  794a32d58c77e0a7d1e51cb3353ff5b55f781d84
less aggressive warning icon;

diff -r 794a32d58c77 -r 5a35790413f5 src/Tools/jEdit/src/isabelle_markup.scala
--- a/src/Tools/jEdit/src/isabelle_markup.scala	Sat Aug 27 16:01:24 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_markup.scala	Sat Aug 27 16:11:24 2011 +0200
@@ -43,7 +43,7 @@
   {
     def >= (that: Icon): Boolean = this.priority >= that.priority
   }
-  val warning_icon = new Icon(1, Isabelle.load_icon("16x16/status/dialog-warning.png"))
+  val warning_icon = new Icon(1, Isabelle.load_icon("16x16/status/dialog-information.png"))
   val error_icon = new Icon(2, Isabelle.load_icon("16x16/status/dialog-error.png"))