equal
deleted
inserted
replaced
3553 |
3553 |
3554 !NewLauncher methodsFor:'queries'! |
3554 !NewLauncher methodsFor:'queries'! |
3555 |
3555 |
3556 preferredExtent |
3556 preferredExtent |
3557 |
3557 |
3558 ^super preferredExtent max: Screen current extent//(2.5@3.5) |
3558 ^super preferredExtent max: Screen current extent // (2.5 @ 3.5) |
3559 |
|
3560 |
|
3561 ! ! |
3559 ! ! |
3562 |
3560 |
3563 !NewLauncher methodsFor:'startup / release'! |
3561 !NewLauncher methodsFor:'startup / release'! |
3564 |
3562 |
3565 allButOpenInterface:anInterface |
3563 allButOpenInterface:anInterface |
3591 ! |
3589 ! |
3592 |
3590 |
3593 postBuildWith:aBuilder |
3591 postBuildWith:aBuilder |
3594 "setup my preferred size" |
3592 "setup my preferred size" |
3595 |
3593 |
|
3594 |win hMin| |
|
3595 |
3596 super postBuildWith:aBuilder. |
3596 super postBuildWith:aBuilder. |
3597 aBuilder window extent:(self preferredExtent). |
3597 win := aBuilder window . |
|
3598 win extent:(self preferredExtent). |
|
3599 |
|
3600 "/ TODO: somehow find out how much decoration is added by the window manager ... |
|
3601 "/ |
|
3602 "/ hMin := aBuilder menuBar height |
|
3603 "/ + (aBuilder componentAt:#menuToolbarView) height. |
|
3604 hMin := 100. |
|
3605 |
|
3606 win minExtent:( win minExtent x @ hMin ). |
3598 ! |
3607 ! |
3599 |
3608 |
3600 postOpenWith:aBuilder |
3609 postOpenWith:aBuilder |
3601 |toolInfo| |
3610 |toolInfo| |
3602 |
3611 |
4003 ! ! |
4012 ! ! |
4004 |
4013 |
4005 !NewLauncher class methodsFor:'documentation'! |
4014 !NewLauncher class methodsFor:'documentation'! |
4006 |
4015 |
4007 version |
4016 version |
4008 ^ '$Header: /cvs/stx/stx/libtool/NewLauncher.st,v 1.228 2001-10-04 14:44:52 cg Exp $' |
4017 ^ '$Header: /cvs/stx/stx/libtool/NewLauncher.st,v 1.229 2001-10-10 16:26:11 cg Exp $' |
4009 ! ! |
4018 ! ! |