1.1 --- a/src/Pure/System/gui_setup.scala	Tue Jun 30 00:57:24 2009 +0200
     1.2 +++ b/src/Pure/System/gui_setup.scala	Tue Jun 30 21:19:32 2009 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4  {
     1.5    def main(args: Array[String]) =
     1.6    {
     1.7 -    Swing.later {
     1.8 +    Swing_Thread.later {
     1.9        UIManager.setLookAndFeel(Platform.look_and_feel)
    1.10        top.pack()
    1.11        top.visible = true