Issue 3732 in pharo: default omni browser size bigger

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
6 messages Options
Reply | Threaded
Open this post in threaded view
|

Issue 3732 in pharo: default omni browser size bigger

pharo
Status: Accepted
Owner: [hidden email]
Labels: Milestone-1.2-DevImage

New issue 3732 by [hidden email]: default omni browser size bigger
http://code.google.com/p/pharo/issues/detail?id=3732

please :)


Reply | Threaded
Open this post in threaded view
|

Re: Issue 3732 in pharo: default omni browser size bigger

pharo
Updates:
        Status: FixProposed

Comment #1 on issue 3732 by [hidden email]: default omni browser  
size bigger
http://code.google.com/p/pharo/issues/detail?id=3732

fix attached.

This just makes the window minmally as big as the standard browser

Attachments:
        OBBrowser-initialExtent.st  243 bytes


Reply | Threaded
Open this post in threaded view
|

Re: Issue 3732 in pharo: default omni browser size bigger

pharo

Comment #2 on issue 3732 by [hidden email]: default omni browser size  
bigger
http://code.google.com/p/pharo/issues/detail?id=3732

I was thinking of making it relative rather than fixed. So in example below  
it would be 20% bigger depending on size of window....

initialExtent
        ^ RealEstateAgent standardWindowExtent * 1.2 min: RealEstateAgent  
maximumUsableArea extent.


Reply | Threaded
Open this post in threaded view
|

Re: Issue 3732 in pharo: default omni browser size bigger

pharo

Comment #3 on issue 3732 by [hidden email]: default omni browser  
size bigger
http://code.google.com/p/pharo/issues/detail?id=3732

The fix seems to be here. In any case, I believe this is not a show stopper  
at all.


Reply | Threaded
Open this post in threaded view
|

Re: Issue 3732 in pharo: default omni browser size bigger

pharo

Comment #4 on issue 3732 by [hidden email]: default omni browser  
size bigger
http://code.google.com/p/pharo/issues/detail?id=3732

in 1.2

Name: OmniBrowser-StephaneDucasse.504
Author: StephaneDucasse
Time: 12 March 2011, 10:55:41 am
UUID: de859fef-729d-45ef-91d9-4fa0371747de
Ancestors: OmniBrowser-lr.503

Issue 3732: default omni browser size bigger


Reply | Threaded
Open this post in threaded view
|

Re: Issue 3732 in pharo: default omni browser size bigger

pharo
Updates:
        Status: Closed

Comment #5 on issue 3732 by [hidden email]: default omni browser  
size bigger
http://code.google.com/p/pharo/issues/detail?id=3732

(No comment was entered for this change.)