From: Mark Wooding Date: Fri, 10 Apr 2015 14:19:25 +0000 (+0100) Subject: dot/fonts.conf, dot/...: Abolish `MiscFixed6x13'; make `Fixed' work. X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/a67800787383e8f8b07a6fad057311a397d722c2 dot/fonts.conf, dot/...: Abolish `MiscFixed6x13'; make `Fixed' work. Rather detailed hacking to make `Fixed' actually work as a proper name for the font, which you can actually use in configuration interfaces. --- diff --git a/dot/fonts.conf b/dot/fonts.conf index 9c5eed9..a71e415 100644 --- a/dot/fonts.conf +++ b/dot/fonts.conf @@ -5,16 +5,14 @@ Fixed - 87 @@ -24,41 +22,26 @@ - MiscFixed6x13 - 10 - - Oblique SemiCondensed - 87 - Fixed - Trad - 75 - 13 + Fixed + 75 - MiscFixed6x13 - 150 - - Bold SemiCondensed - 87 - Fixed - Trad - 75 - 13 + Fixed + 12 + 14 + Trad + 13 + 13 + semicondensed - MiscFixed6x13 - - SemiCondensed - 87 - Fixed - Trad - 75 - 13 - - - - Symbol - urw + Fixed + 10 + 14 + Trad + 13 + 13 + semicondensed