4 Feb
2008
4 Feb
'08
10:49 p.m.
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. I don't know if the APIs provide any easy way to lookup a font by its unique identifier and if it's only 32bit a name might have lower probability of collisions (i.e. P(some random luser-installed font collides with any standard font)). Rich P.S. Does anyone really envision Times New Roman being used for subtitles? EEW! :)