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