prefer strict error;

--- a/src/Tools/jEdit/src/isabelle_rendering.scala	Sun Nov 25 18:47:33 2012 +0100
+++ b/src/Tools/jEdit/src/isabelle_rendering.scala	Sun Nov 25 18:50:13 2012 +0100
@@ -15,7 +15,6 @@
 
 import org.gjt.sp.jedit.syntax.{Token => JEditToken}
 import org.gjt.sp.jedit.GUIUtilities
-import org.gjt.sp.util.Log
 
 import scala.collection.immutable.SortedMap
 
@@ -46,9 +45,8 @@
   private def load_icon(name: String): Icon =
   {
     val icon = GUIUtilities.loadIcon(name)
-    if (icon.getIconWidth < 0 || icon.getIconHeight < 0)
-      Log.log(Log.ERROR, icon, "Bad icon: " + name)
-    icon
+    if (icon.getIconWidth < 0 || icon.getIconHeight < 0) error("Bad icon: " + name)
+    else icon
   }
 
   private val gutter_icons = Map(