[ jEdit-devel ] [ jedit-Bugs-534643 ] Page up/dow keys don't go with word wrap

Bugs item #534643, was opened at 2002-03-25 07:00
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=534643&group_id=588

Category: text area and syntax packages
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Page up/dow keys don't go with word wrap

Initial Comment:
Hello there,

when using word wrap the page, the page up and page 
down keys make far too large jumps. I suppose this is because the 
calculation of how many lines to jump is done for real text lines 
(those with a number) and not for multiple lines one (numbered) 
line splits into when using word wrap.

I use jEdit 4.0 pre 7 
(just downloading pre 8 :-) with  the Sun JDK 1.4.0

Bye Tobias

----------------------------------------------------------------------

>Comment By: Slava Pestov (spestov)
Date: 2002-12-30 22:31

Message:
Logged In: YES 
user_id=2280

4.1 improves this somewhat -- Scroll up/down page go with
soft wrap. Page up/down will be fixed in 4.2.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=534643&group_id=588