--- a/NewLauncher.st	Wed Oct 10 17:25:46 2001 +0200
+++ b/NewLauncher.st	Wed Oct 10 18:26:11 2001 +0200
@@ -3555,9 +3555,7 @@
 
 preferredExtent
 
-    ^super preferredExtent max: Screen current extent//(2.5@3.5)
-
-
+    ^super preferredExtent max: Screen current extent // (2.5 @ 3.5)
 ! !
 
 !NewLauncher methodsFor:'startup / release'!
@@ -3593,8 +3591,19 @@
 postBuildWith:aBuilder
     "setup my preferred size"
 
+    |win hMin|
+
     super postBuildWith:aBuilder.
-    aBuilder window extent:(self preferredExtent).
+    win := aBuilder window .
+    win extent:(self preferredExtent).
+
+"/ TODO: somehow find out how much decoration is added by the window manager ...
+"/
+"/    hMin := aBuilder menuBar height
+"/            + (aBuilder componentAt:#menuToolbarView) height.
+    hMin := 100.
+
+    win minExtent:( win minExtent x @ hMin ).
 !
 
 postOpenWith:aBuilder
@@ -4005,5 +4014,5 @@
 !NewLauncher class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libtool/NewLauncher.st,v 1.228 2001-10-04 14:44:52 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libtool/NewLauncher.st,v 1.229 2001-10-10 16:26:11 cg Exp $'
 ! !