The patch in ticket 988 missed changing the font quality settings when painting the margins. The attached patch mostly copies that code over.
Committed as [18272d] with minor edit to more closely match similar code for text area.
Log in to post a comment.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.