Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
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.
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.
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.
Still cannot reproduce and still your report is incomplete. Provide at least platform, jedit and java version.
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)
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.
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.