[PD-dev] font size tweak pushed to git... comments?

[Miller Puckette]

Also to pd-dev -

I noticed font sizes changed from 0.42 to 0.43 and tried to tweak them
back to 0.42-style, by having the new font-size-search code in
pd-gui.c actually try to find the font sizes that s_main.c later searches
(redundantly) for.  I should have done this earlier.  If this doesn't 
break anything it migth be worth rolling out a 0.43-2 just so people don't
spend all next year with incorrect font sizes...?

cheers
Miller