On 08.09.2009, at 22:32, Bert Freudenberg wrote: > Maybe we can at least fix the font size? ;) If so, please approve http://tracker.squeakland.org/browse/SQ-336 - Bert -