On Sun, Nov 17, 2002 at 04:52:13PM +0000, John Levon wrote: > On Sun, Nov 17, 2002 at 06:43:22PM +0200, Dekel Tsur wrote: > > > A small correction: the QT frontend should work with QT family names, > > namely "Times [adobe]" instead of "adobe-times". > > Hmm, such names work with .setFamily() too ?
Only these names work with setFamily(). > > > This means that we might need to store the font preferences in a separate > > file for each frontend. > > Nah. User running two frontends should --with-version-suffix I don't like it. I do want to share my preferences between the frontends, except the fonts.
