[ jEdit-devel ] [ jedit-Plugin Bugs-2823809 ] Navigator: Does not add current position before jumping

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

Plugin Bugs item #2823809, was opened at 2009-07-19 10:31
Message generated for change (Tracker Item Submitted) made by shlomy
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=2823809&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
Resolution: None
Priority: 5
Private: No
Submitted By: Shlomy Reinstein (shlomy)
Assigned to: Nobody/Anonymous (nobody)
Summary: Navigator: Does not add current position before jumping

Initial Comment:
Before jumping to another buffer / position, Navgiator should add the current position to the history list, so that "back" from the new position will take us back to the position from where we jumped, rather than the previous remembered position.
Here's a reproduction scenario:
(1) The caret is placed in some item that's in the history.
(2) I move the caret (by mouse or keyboard) to some function call, and invoke some "jump to tag" action of CtagsInterface, which takes me to the place where the function is defined.
(3) I click 'Back' (the Navigator action), and expect to be back at the function call, but instead I am back at position (1). Clicking 'Forward' takes me again to the function definition, however the function call does not seem to be on the history list, or otherwise it is somehow skipped in the back/forward actions.



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

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