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.
Commit: [18272d]
Log in to post a comment.
Committed as [18272d] with minor edit to more closely match similar code for text area.
Related
Commit: [18272d]