--- a/Launcher.st	Sun May 07 04:01:06 1995 +0200
+++ b/Launcher.st	Tue May 09 03:59:45 1995 +0200
@@ -37,7 +37,7 @@
 
 version
 "
-$Header: /cvs/stx/stx/libtool/Launcher.st,v 1.9 1995-05-06 14:52:13 claus Exp $
+$Header: /cvs/stx/stx/libtool/Launcher.st,v 1.10 1995-05-09 01:59:39 claus Exp $
 "
 ! !
 
@@ -94,8 +94,17 @@
 
 !NewLauncher methodsFor:'initialize / release'!
 
+restarted
+    "image restart - since WindowGroup recreates the process with
+     default prio, we have to raise the prio again.
+     Mhmh - this looks like a bug to me ..."
+
+    Processor activeProcess priority:(Processor userSchedulingPriority + 1).
+    super restarted
+!
+
 openInterface
-    "sent by my superclass top open up my interface"
+    "sent by my superclass to open up my interface"
 
     |top icn w|
 
@@ -119,7 +128,9 @@
     ].
 
     self setupViewsIn:top.
-    top application:self.
+
+    top application:self.   
+    builder window:top.
 
     "
      open with higher prio to allow interaction even while things
@@ -748,7 +759,9 @@
     box extent:200@300.
 
     box addCheckBox:'warn about ST/X language extensions' on:warnSTX.
+    box addVerticalSpace.
     box addCheckBox:'allow underscore in identifiers' on:allowUnderscore.
+    box addVerticalSpace.
     box addCheckBox:'literal arrays are immutable' on:immutableArrays.
 
     box addAbortButton; addOkButton.