src/Pure/GUI/gui.scala
changeset 67835 c8e4ee2b5482
parent 65370 1324268c2f6a
child 69113 0012f3a08f42
equal deleted inserted replaced
67834:3ded4e0bc54b 67835:c8e4ee2b5482
     5 */
     5 */
     6 
     6 
     7 package isabelle
     7 package isabelle
     8 
     8 
     9 import java.lang.{ClassLoader, ClassNotFoundException, NoSuchMethodException}
     9 import java.lang.{ClassLoader, ClassNotFoundException, NoSuchMethodException}
    10 import java.io.{FileInputStream, BufferedInputStream}
       
    11 import java.awt.{GraphicsEnvironment, Image, Component, Container, Toolkit, Window, Font,
    10 import java.awt.{GraphicsEnvironment, Image, Component, Container, Toolkit, Window, Font,
    12   KeyboardFocusManager}
    11   KeyboardFocusManager}
    13 import java.awt.font.{TextAttribute, TransformAttribute, FontRenderContext, LineMetrics}
    12 import java.awt.font.{TextAttribute, TransformAttribute, FontRenderContext, LineMetrics}
    14 import java.awt.geom.AffineTransform
    13 import java.awt.geom.AffineTransform
    15 import javax.swing.{ImageIcon, JOptionPane, UIManager, JLayeredPane, JFrame, JWindow, JDialog,
    14 import javax.swing.{ImageIcon, JOptionPane, UIManager, JLayeredPane, JFrame, JWindow, JDialog,