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

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.