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