PreviousNextTracker indexSee it online !

(155/231) 3534572 - Painting selection bug

In the attached file, selecting the text will lead to have the text painted twice but one of them seems to be shifted on the left causing strange effects.

Submitted kpouer - 2012-06-12 - 12:09:15z Assigned nobody
Priority 5 Category text area and syntax packages
Status Open Group None
Resolution None Visibility No


2012-06-12 - 12:36:31z
Matthieu, try with -nosettings and -noplugins, then supply all the details needed for a proper bug report.

Not reproducable with trunk jedit on windows 7 64, sun java 6.
2012-06-12 - 13:23:49z
Hi, you are right my information were not enough.
After more investigation it is a core bug:

To reproduce it you have to activate the "selection foreground" option in the TextArea options.
Then open the file as UTF-8.
2012-06-12 - 14:02:53z
Still cannot reproduce and still your report is incomplete. Provide at least platform, jedit and java version.
2012-06-12 - 14:31:10z
I forgot an option : it also require automatic font substitution.
I do it on Windows 7 64 bit, Java 7, but I did reproduce it on Ubuntu 12.4 even on 4.4.1 (but on linux the bug is less visibl, only a square is appearing in the space of the line of the file)
2012-06-12 - 14:42:35z
At the third attempt you provided all the details and now I am able to reproduce. I had to try 3 times to reproduce the error and prepare comments for you to ask you for further information. When you submit next bug report please think about other people's time, not only about yours.
2012-06-12 - 14:47:14z
Sorry in fact I didn't expect that you or someone else would look at it immediately, I did the bug report to remember myself about that bug and do investigation when I would have time.
I'll try to do better next time.


2012-06-12 - 12:09:19z

2012-06-12 - 14:09:51z

example bug