![]() 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". |
||
---|---|---|
.. | ||
drracket | ||
gracket | ||
plai | ||
racket | ||
redex | ||
stepper | ||
teachpack | ||
typed-racket | ||
COPYING-libscheme.txt | ||
COPYING.txt |