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:15 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | text area and syntax packages |
Status | open | Group | None |
Resolution | None |
2012-06-12 12:09:19 kpouer |
test.txt (30B) |
---|---|
2012-06-12 12:36:31 jarekczek |
- **status**: open --> pending-invalid |
2012-06-12 12:36:31 jarekczek |
Matthieu, try with -nosettings and -noplugins, then supply all the details needed
for a proper bug report.
|
2012-06-12 13:23:49 kpouer |
Hi, you are right my information were not enough.
|
2012-06-12 13:23:49 kpouer |
- **status**: pending-invalid --> open |
2012-06-12 14:02:53 jarekczek |
Still cannot reproduce and still your report is incomplete. Provide at least platform, jedit and java version. |
2012-06-12 14:09:51 kpouer |
example bug CropImage.jpg (18.7Kio) |
2012-06-12 14:31:10 kpouer |
I forgot an option : it also require automatic font substitution.
|
2012-06-12 14:42:35 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:14 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.
|