On Mon, Feb 04, 2008 at 05:49:24PM -0500, Rich Felker wrote:
On Mon, Feb 04, 2008 at 11:40:58PM +0100, michael wrote:
"UsesFont" "Times New Roman", "Arial", ... FIXME should we use the filename instead? is there some other unique way to identify fonts?
Unrelated to this commit, but regarding fonts, FYI there is a unique identifier inside TrueType/OpenType fonts, usually generated randomly by the software writing the font. However font names may be adequate.
hmm, so "Arial" on win32 will have a different one than on macos ? [...] -- Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB No human being will ever know the Truth, for even if they happen to say it by chance, they would not even known they had done so. -- Xenophanes