After many half-hearted attempts to make this work properly, I'm
finally settling on this approach: define MiscFixed6x13 as a
magic name for the right font, and then hack configuration files
After many half-hearted attempts to make this work properly, I'm
finally settling on this approach: define MiscFixed6x13 as a
magic name for the right font, and then hack configuration files
<edit name="family"><string>Fixed</string></edit>
<edit name="foundry"><string>Misc</string></edit>
<edit name="dpi"><int>75</int></edit>
<edit name="family"><string>Fixed</string></edit>
<edit name="foundry"><string>Misc</string></edit>
<edit name="dpi"><int>75</int></edit>
<edit binding="strong" mode="append" name="family">
<string>Standard Symbols L</string>
</edit>
</match>
<!-- KDE put this here, but it seems worthwhile.
<edit binding="strong" mode="append" name="family">
<string>Standard Symbols L</string>
</edit>
</match>
<!-- KDE put this here, but it seems worthwhile.
Modified so as to force slight hinting rather than medium,
because that actually seems to produce more legible characters.
-->
Modified so as to force slight hinting rather than medium,
because that actually seems to produce more legible characters.
-->