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
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.
-->