--- a/Launcher.st	Wed May 29 19:23:22 1996 +0200
+++ b/Launcher.st	Thu May 30 09:19:25 1996 +0200
@@ -2559,10 +2559,11 @@
         EditTextView defaultFont:textDef value.
         CodeView defaultFont:textDef value.
     ].
+    box destroy.
     ^ box accepted
 
     "Created: 27.2.1996 / 01:44:16 / cg"
-    "Modified: 5.3.1996 / 01:46:23 / cg"
+    "Modified: 30.5.1996 / 09:18:57 / cg"
 !
 
 pickAView
@@ -2637,5 +2638,5 @@
 !NewLauncher class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libtool/Launcher.st,v 1.134 1996-05-29 17:23:22 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libtool/Launcher.st,v 1.135 1996-05-30 07:19:25 cg Exp $'
 ! !