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 > _______________________________________________ PD-list@iem.at mailing list UNSUBSCRIBE and account-management -> http://lists.puredata.info/listinfo/pd-list