When the cursor is moved around in the edit area, various line segments are left over
on the display. An exampel is attached where the cursor was moved right and wrapped
through a few lines. The lines disappear when the display is redrawn (e.g., page up
or down).
The drop down menus show a similar defect although not as visible and intrusive: E.g.,
if I drop down the File menu steps down through the items, small horizontal lines
are left behind,
I have plays around with all settings I can find: Font, font size, cursor form, anti
aliasing, fractional font metrics. While some of these settings can change the appearance
of the problem, nothing I have tried can make it go away.
jEdit: 4.3pre17 server mode using Java 1.6.0_13
OS: Windows XP
Submitted | heje - 2009-07-21 08:44:04 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | editor core |
Status | pending | Group | minor bug |
Resolution | works-for-me |
2009-07-21 08:44:04 heje |
Cursor remnants in edit area cursor_remnants.png (10.2Kio) |
---|---|
2009-07-23 12:48:23 heje |
Tried older Java version: Works correctly with Java 1.5.0_09 |
2015-11-14 14:02:26.476000 kerik-sf |
- **status**: open --> pending-works-for-me |
2015-11-14 14:02:26.765000 kerik-sf |
can't reproduce it in jEdit 5.3, java version "1.7.0_91"
|