Comment #4 on issue 3732 by [email protected]: 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
