1.1 --- a/src/Pure/System/gui_setup.scala	Sun Jun 28 16:01:52 2009 +0200
     1.2 +++ b/src/Pure/System/gui_setup.scala	Sun Jun 28 16:46:00 2009 +0200
     1.3 @@ -6,12 +6,23 @@
     1.4  
     1.5  package isabelle
     1.6  
     1.7 +import javax.swing.UIManager
     1.8 +
     1.9  import scala.swing._
    1.10  import scala.swing.event._
    1.11  
    1.12  
    1.13 -object GUI_Setup extends SimpleGUIApplication
    1.14 +object GUI_Setup extends GUIApplication
    1.15  {
    1.16 +  def main(args: Array[String]) =
    1.17 +  {
    1.18 +    Swing.later {
    1.19 +      UIManager.setLookAndFeel(Platform.look_and_feel)
    1.20 +      top.pack()
    1.21 +      top.visible = true
    1.22 +    }
    1.23 +  }
    1.24 +
    1.25    def top = new MainFrame {
    1.26      title = "Isabelle setup"
    1.27      val ok = new Button { text = "OK" }