Re: [Pharo-project] Issue 3732 in pharo: default omni browser size bigger

[pharo]

Comment #3 on issue 3732 by tudor.gi...@gmail.com: 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.