src/Pure/GUI/gui.scala
changeset 54709 87402674fe2f
parent 54676 6b2ca4850b71
child 54962 993aab23894c
--- a/src/Pure/GUI/gui.scala	Mon Dec 09 21:32:45 2013 +0100
+++ b/src/Pure/GUI/gui.scala	Mon Dec 09 22:02:42 2013 +0100
@@ -13,6 +13,7 @@
 import java.awt.geom.AffineTransform
 import javax.swing.{ImageIcon, JOptionPane, UIManager, JLayeredPane, JFrame, JWindow}
 
+import scala.collection.convert.WrapAsJava
 import scala.swing.{ComboBox, TextArea, ScrollPane}
 import scala.swing.event.SelectionChanged
 
@@ -129,8 +130,15 @@
   def isabelle_icon(): ImageIcon =
     new ImageIcon(getClass.getClassLoader.getResource("isabelle/isabelle_transparent-32.gif"))
 
+  def isabelle_icons(): List[ImageIcon] =
+    for (icon <- List("isabelle/isabelle_transparent-32.gif", "isabelle/isabelle_transparent.gif"))
+      yield new ImageIcon(getClass.getClassLoader.getResource(icon))
+
   def isabelle_image(): Image = isabelle_icon().getImage
 
+  def isabelle_images(): java.util.List[Image] =
+    WrapAsJava.seqAsJavaList(isabelle_icons.map(_.getImage))
+
 
   /* component hierachy */