NewLauncher.st
changeset 7514 8d172a8ef38a
parent 7508 3baee9bc215b
child 7516 b2bddb85e4b3
--- a/NewLauncher.st	Wed Nov 15 19:09:50 2006 +0100
+++ b/NewLauncher.st	Thu Nov 16 12:41:46 2006 +0100
@@ -3942,13 +3942,19 @@
     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.
+
+    hMin := (aBuilder window margin * 2)
+            + aBuilder menuBar preferredExtent y
+            + (aBuilder componentAt:#infoBarSubSpec) height
+            + (aBuilder componentAt:#menuToolbarView) preferredExtent y
+            + 8.
 
     win minExtent:( win minExtent x @ hMin ).
+
+    "Modified: / 16-11-2006 / 12:42:18 / cg"
 !
 
 postOpenWith:aBuilder
@@ -4338,5 +4344,5 @@
 !NewLauncher class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libtool/NewLauncher.st,v 1.349 2006-11-13 12:05:42 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libtool/NewLauncher.st,v 1.350 2006-11-16 11:41:46 cg Exp $'
 ! !