Fix in TextArea for extra vertical line spacing

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

#204 Fix in TextArea for extra vertical line spacing

Milestone: for 5.2.x

Status: closed-accepted

Owner: nobody

Labels: None

Priority: 5

Updated: 2015-02-04

Created: 2015-01-19

Creator: Matthieu Casanova

Private: No

https://sourceforge.net/p/jedit/svn/23676/

When using extra vertical line spacing and a selection foreground color, the
selected text was painted twice, once with the extra spacing, once without.
Now the selected text is drawn correctly.

Discussion

Alan Ezust - 2015-02-04

status: open --> closed-accepted
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Alan Ezust - 2015-02-04

Committed r23832

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Fix in TextArea for extra vertical line spacing

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#204 Fix in TextArea for extra vertical line spacing

Discussion