I want to add an attachment to bug #3414877, but as I cannot, I open a new ticket.
Sorry for the duplicate (for the admins, see https://sourceforge.net/apps/ideatorrent/sourceforge/ideatorrent/idea/626/
if you're interested).
Concerning the "2)" in 3414877, it seems to be almost fixed in trunk (at least, in
daily 2012-06-11_12-02-24) : without "selection foreground", selected text is correctly
aligned. With "selection foreground", the selected text itself is still correctly
aligned, but I see another text, with the configured foreground color, superimposed
on the text, but N pixels below.
Alas, with or without selection foreground, the background color is misaligned.
See the screenshot : forget my bad taste at selecting a color scheme, and just see
the misalignment in both the background color and the foregound text (you can also
see a couple red caret artifacts to the right, and misaligned CandyFolds in the same
screenshot, by the way). Even if I change the colors, I guess the feature can be considered
broken
Submitted | alf456 - 2012-06-12 - 13:36:42z | Assigned | nobody |
---|---|---|---|
Priority | 5 | Category | editor core |
Status | Open | Group | minor bug |
Resolution | None | Visibility | No |
2012-06-12 - 13:36:43z alf456 |
jedit_selection_foreground_vertical_spacing.png vertical line spacing not respected by selection backgruond and foreground |
---|