![]() Treat a "face" as a font description only if it has a comma, otherwise go back to treating it as a family name. This change fixes the problem of parsing "Times New Roman" as "Times New, Roman". |
||
---|---|---|
.. | ||
Draw_and_GUI_5_1.txt | ||
HISTORY.txt | ||
MzScheme_4.txt | ||
MzScheme_200.txt | ||
MzScheme_300.txt | ||
Racket_5.txt | ||
rename-super-fixup.rkt |