Michael Niedermayer wrote:
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 ?
Pretty much, still would be better use the font family so people with saner replacements can use their superior fonts instead the ugly ones... lu -- Luca Barbato Gentoo Council Member Gentoo/linux Gentoo/PPC http://dev.gentoo.org/~lu_zero