Hm. Actually, I clicked “force all” so that the font size was set to 10. Now that I’ve looked at it again I can’t reproduce what you say.
I know what you mean though, I’ve had situations where the font was suddenly different but I never investigated. Are you sure it’s not just the font size? > On 12 Mar 2016, at 15:00, Max Leske <maxle...@gmail.com> wrote: > > Yes, that’s right. > >> On 12 Mar 2016, at 14:19, Tudor Girba <tu...@tudorgirba.com >> <mailto:tu...@tudorgirba.com>> wrote: >> >> Hi, >> >> It looks to me as if in the latest Pharo, the default font is rendered with >> the DejaVu bitmap font instead of Source Sans Pro. >> >> Here is how the font looks like in Nautilus (look at the fonts in the top >> part): >> <Screen Shot 2016-03-12 at 1.58.46 PM.png> >> When I look in Settings, it says that it uses Source Sans Pro. >> >> However, if I reload the fonts and set it again to Source Sans Pro, I get >> this picture with the correct rendering (look at the category name >> “announcing"): >> >> <Screen Shot 2016-03-12 at 2.18.09 PM.png> >> >> Interestingly, the code font looks the same in both situations. Can you >> confirm this effect? >> >> Cheers, >> Doru >> >> >> >> -- >> www.tudorgirba.com <http://www.tudorgirba.com/> >> www.feenk.com <http://www.feenk.com/> >> >> "From an abstract enough point of view, any two things are similar." >> >> >> >> >
