magic name for the right font, and then hack configuration files
as necessary to make them use it.
-->
+ <selectfont>
+ <acceptfont>
+ <pattern>
+ <patelt name="family"><string>Fixed</string></patelt>
+ <patelt name="width"><int>87</int></patelt>
+ </pattern>
+ </acceptfont>
+ <rejectfont>
+ <pattern>
+ <patelt name="scalable"><bool>false</bool></patelt>
+ </pattern>
+ </rejectfont>
+ </selectfont>
<match target="pattern">
<test name="family"><string>MiscFixed6x13</string></test>
- <!--test name="size"><double>12</double</test-->
- <edit name="style"><string>SemiCondensed</string></edit>
+ <!-- edit name="size"><double>12</double></edit -->
+ <edit name="width"><int>87</int></edit>
<edit name="family"><string>Fixed</string></edit>
<edit name="foundry"><string>Misc</string></edit>
<edit name="dpi"><int>75</int></edit>