less aggressive warning icon;

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