--- a/src/Pure/System/gui_setup.scala Thu Apr 04 17:58:47 2013 +0200
+++ b/src/Pure/System/gui_setup.scala Thu Apr 04 18:06:48 2013 +0200
@@ -17,7 +17,7 @@
{
def startup(args: Array[String]) =
{
- Platform.init_laf()
+ GUI.init_laf()
top.pack()
top.visible = true
}