# HG changeset patch
# User wenzelm
# Date 1273094531 -7200
# Node ID 49918c180e8ca12bbcf9d4914afaa0093bb06ff4
# Parent  1225dd15827da8b7c47a57bbfe93c74c65a37ef3
use SwingApplication instead of deprecated GUIApplication;

diff -r 1225dd15827d -r 49918c180e8c src/Pure/System/gui_setup.scala
--- a/src/Pure/System/gui_setup.scala	Wed May 05 23:09:34 2010 +0200
+++ b/src/Pure/System/gui_setup.scala	Wed May 05 23:22:11 2010 +0200
@@ -12,15 +12,13 @@
 import scala.swing.event._
 
 
-object GUI_Setup extends GUIApplication
+object GUI_Setup extends SwingApplication
 {
-  def main(args: Array[String]) =
+  def startup(args: Array[String]) =
   {
-    Swing_Thread.later {
-      UIManager.setLookAndFeel(Platform.look_and_feel)
-      top.pack()
-      top.visible = true
-    }
+    UIManager.setLookAndFeel(Platform.look_and_feel)
+    top.pack()
+    top.visible = true
   }
 
   def top = new MainFrame {