src/Pure/GUI/gui.scala
changeset 61523 9ad1fccbba96
parent 60998 42cebb02b5ae
child 61529 82fc5a6231a2
--- 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 */