Cursor jumps to different column when pressing Page-Down key in a file with long lines
if you have scrolled
to the right.
Steps to reproduce:
- Create textfile with long lines. The lines must be longer than the current "viewport"/size
of the jedit window
- Scroll completely to the right and position the cursor in a line, but not at the
end of the line\!
Choose a position which is more than 60 characters away from the end of the line.
- Press Page-Down key
- The cursor is moved down AND right (approx. 60 characters)
Tested on:
OS: Oracle Solaris 10 x86
Java: SUN 1.6.0_29
jEdit: 4.4.1 server mode
OS: Windows 2003 Server
Java: 1.6.0_31
jEdit: 4.5 server mode
Submitted | jutho - 2012-02-26 13:53:17 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | text area and syntax packages |
Status | open | Group | None |
Resolution | None |