diff options
Diffstat (limited to 'src/codegen/fonts/TimesRoman.xml')
-rw-r--r-- | src/codegen/fonts/TimesRoman.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/codegen/fonts/TimesRoman.xml b/src/codegen/fonts/TimesRoman.xml index 1f21290de..9ddadfddd 100644 --- a/src/codegen/fonts/TimesRoman.xml +++ b/src/codegen/fonts/TimesRoman.xml @@ -18,6 +18,8 @@ <!-- JKT: these metrics in XML were kindly produced by Fotis Jannidis --> <font-metrics> <font-name>Times-Roman</font-name> + <full-name>Times Roman</full-name> + <family-name>Times</family-name> <class-name>TimesRoman</class-name> <encoding>StandardEncoding</encoding> <cap-height>662</cap-height> |