I favor the negative-font-size approach since it makes it possible for future extesions to control their own behavior.
cheers Miller
On Fri, Nov 23, 2007 at 06:35:12PM -0500, Hans-Christoph Steiner wrote:
On Nov 23, 2007, at 5:41 PM, Mathieu Bouchard wrote:
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.pd-vanilla isn't using the tk scaling stuff at all, so it makes IMHO
to turn it off, in effect, by forcing it to be 1..hc
As we enjoy great advantages from inventions of others, we should be
glad of an opportunity to serve others by any invention of ours; and
this we should do freely and generously. - Benjamin Franklin