Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
no icons here -- not a standalone window;
authorwenzelm
Tue, 27 Oct 2015 23:18:32 +0100
changeset 61523 9ad1fccbba96
parent 61522 4108f91ca810
child 61524 f2e51e704a96
no icons here -- not a standalone window;
src/Pure/GUI/gui.scala file | annotate | diff | comparison | revisions
src/Tools/jEdit/src/session_build.scala file | annotate | diff | comparison | revisions 
--- 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 */
 
--- 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 + ")")
isabelle