I just read here that monospace is not a font but rather an alias for a system font that depends on other factors. So, how do I figure out which font is being used?
I found fontconfig.properties.src in my JRE which associates monospaced and Courier New. Then my tries showed me a pretty iso rendering between Courrier New with line spacing 1.5 compared to Monospaced with line spacing 1.2, though I would not find the parameter in the JRE or JDK explaining the ratio.
And if you manage to turn off all the offending antialiasing and system-wide cleartype stuff, your left with probably the neatest available for code display.
I just read here that monospace is not a font but rather an alias for a system font that depends on other factors. So, how do I figure out which font is being used?
I found fontconfig.properties.src in my JRE which associates monospaced and Courier New.
Then my tries showed me a pretty iso rendering between Courrier New with line spacing 1.5 compared to Monospaced with line spacing 1.2, though I would not find the parameter in the JRE or JDK explaining the ratio.
And if you manage to turn off all the offending antialiasing and system-wide cleartype stuff, your left with probably the neatest available for code display.