# HG changeset patch
# User wenzelm
# Date 1445984312 -3600
# Node ID 9ad1fccbba965e77e817f7fbd5fdb5986a79ac06
# Parent  4108f91ca8105af80507735ca3ac6646d3b48ccc
no icons here -- not a standalone window;

diff -r 4108f91ca810 -r 9ad1fccbba96 src/Pure/GUI/gui.scala
--- a/src/Pure/GUI/gui.scala	Tue Oct 27 22:33:18 2015 +0100
+++ b/src/Pure/GUI/gui.scala	Tue Oct 27 23:18:32 2015 +0100
@@ -181,9 +181,6 @@
 
   def isabelle_image(): Image = isabelle_icon().getImage
 
-  def isabelle_images(): java.util.List[Image] =
-    WrapAsJava.seqAsJavaList(isabelle_icons.map(_.getImage))
-
 
   /* component hierachy */
 
diff -r 4108f91ca810 -r 9ad1fccbba96 src/Tools/jEdit/src/session_build.scala
--- a/src/Tools/jEdit/src/session_build.scala	Tue Oct 27 22:33:18 2015 +0100
+++ b/src/Tools/jEdit/src/session_build.scala	Tue Oct 27 23:18:32 2015 +0100
@@ -153,8 +153,6 @@
 
     /* main */
 
-    setIconImages(GUI.isabelle_images())
-
     setTitle("Isabelle build (" +
       Isabelle_System.getenv("ML_IDENTIFIER") + " / " +
       "jdk-" + Platform.jvm_version + "_" + Platform.jvm_platform + ")")