On Fri, 23 Nov 2007, Hans-Christoph Steiner wrote:
FYI: in Pd-extended, the IEM guis and the Pd fonts are the same sizes on all platforms. One key part of it is: "tk scaling 1", perhaps the resolution changing the font size is related to that.
Also, as I've said before, using negative font sizes bypasses the scaling, because then the units are pixels instead of points. "tk scaling 1" makes this easier if all you ever want is pixel fonts, but if you want both points and pixels for any reason, then you have to use negative font sizes.
_ _ __ ___ _____ ________ _____________ _____________________ ... | Mathieu Bouchard - tél:+1.514.383.3801, Montréal QC Canada