1.1 --- a/src/Tools/jEdit/src/isabelle_markup.scala	Sat Aug 27 16:01:24 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_markup.scala	Sat Aug 27 16:11:24 2011 +0200
     1.3 @@ -43,7 +43,7 @@
     1.4    {
     1.5      def >= (that: Icon): Boolean = this.priority >= that.priority
     1.6    }
     1.7 -  val warning_icon = new Icon(1, Isabelle.load_icon("16x16/status/dialog-warning.png"))
     1.8 +  val warning_icon = new Icon(1, Isabelle.load_icon("16x16/status/dialog-information.png"))
     1.9    val error_icon = new Icon(2, Isabelle.load_icon("16x16/status/dialog-error.png"))
    1.10  
    1.11