[ jEdit-devel ] [ jedit-Bugs-1593383 ] Wrong page scrolling with electric scroll

[SourceForge.net <no...@so...>]

Bugs item #1593383, was opened at 2006-11-09 13:48
Message generated for change (Comment added) made by rschwenn
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1593383&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: text area and syntax packages
Group: normal bug
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Björn Kautler (vampire0)
Assigned to: Nobody/Anonymous (nobody)
Summary: Wrong page scrolling with electric scroll

Initial Comment:
If pressing PgDn while at first screenline or PgUp 
while at last screenline, the caret shouldn't be at 
the first(last) line if electric scroll is enabled.

Sorry if this is a dupe, but I have many bugs to post 
and am too lazy to check them all for dupes 
currently. :-)

OS: Windows XP
Java Version: Sun Java 1.5.0_09-b03
jEdit Version: 4.3pre8


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

>Comment By: Robert Schwenn (rschwenn)
Date: 2008-03-06 20:04

Message:
Logged In: YES 
user_id=1486645
Originator: NO

For PageUp and PageDown the setting for electric borders seems not to be
considered at all.

jEdit 4.3pre12
JRE 1.6.0_03
WinXP SP2


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

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