Re: [Pharo-dev] default fonts changed in Pharo 4.0