author | wenzelm |
Wed, 16 Sep 2015 22:09:01 +0200 | |
changeset 61186 | d48da797a056 |
parent 61185 | 8242818475e2 |
child 61187 | ff00ad5dc03a |
--- a/src/Pure/Tools/main.scala Wed Sep 16 21:56:00 2015 +0200 +++ b/src/Pure/Tools/main.scala Wed Sep 16 22:09:01 2015 +0200 @@ -29,7 +29,7 @@ system_dialog.join_exit } - def build + def build() { try { GUI.init_laf() @@ -74,7 +74,7 @@ catch { case exn: Throwable => exit_error(exn) } } - def start + def start() { val do_start = { @@ -161,9 +161,9 @@ } } - build + build() val rc = system_dialog.join - if (rc == 0) start else sys.exit(rc) + if (rc == 0) start() else sys.exit(rc) }