diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-13 10:38:55 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-13 10:38:55 +0000 |
commit | 84681722395ef50246f54b4092c4274a493f295f (patch) | |
tree | 803eb9fe7cc4e9ad23517666029936f05d6608a0 /lib/unicode-tokens.el | |
parent | 21e952d79da3f466c4f10417ffd97e8f992196a8 (diff) |
Times -> Times New Roman, seems to have better substitution behaviour
under fontconfig (i.e. existence of smoothly rendering free fonts with
same metrics)
Diffstat (limited to 'lib/unicode-tokens.el')
-rw-r--r-- | lib/unicode-tokens.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/unicode-tokens.el b/lib/unicode-tokens.el index 7c5d955f..151c644a 100644 --- a/lib/unicode-tokens.el +++ b/lib/unicode-tokens.el @@ -278,7 +278,7 @@ This is used for an approximate reverse mapping, see `unicode-tokens-paste'.") :group 'unicode-tokens-faces) (defface unicode-tokens-serif-font-face - '((t :family "Times")) + '((t :family "Times New Roman")) "Serif (roman) font face." :group 'unicode-tokens-faces) |