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
_______________________________________________
[email protected] mailing list
UNSUBSCRIBE and account-management ->
http://lists.puredata.info/listinfo/pd-list
