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 jarekczek |
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 kpouer |
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 jarekczek |
Still cannot reproduce and still your report is incomplete. Provide at least platform, jedit and java version. |
| 2012-06-12 - 14:31:10z kpouer |
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 jarekczek |
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 kpouer |
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 kpouer |
test.txt |
|---|---|
| 2012-06-12 - 14:09:51z kpouer |
CropImage.jpg example bug |