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 ? > 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 regards john -- Khendon's Law: If the same point is made twice by the same person, the thread is over.
