[ jEdit-devel ] [ jedit-Plugin Feature Requests-2824680 ] Navigator: Keep line numbers in history, not caret positions

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

Plugin Feature Requests item #2824680, was opened at 2009-07-21 10:21
Message generated for change (Tracker Item Submitted) made by shlomy
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=997936&aid=2824680&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: None
Group: None
Status: Open
Priority: 5
Private: No
Submitted By: Shlomy Reinstein (shlomy)
Assigned to: Nobody/Anonymous (nobody)
Summary: Navigator: Keep line numbers in history, not caret positions

Initial Comment:
The Navigator currently keeps caret positions in its history, which means I can have, for example, 3 consecutive history elements, all on the same line, and then clicking back and forward will just move the caret inside the same line.
This is very annoying for me. Navigator should not add multiple consecutive entries on the same line, or at least provide an option for that.

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

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