#1015 Navigator 2.7

[Dale Anson]

{{{ NavigatorPlugin 2.7
Source: Source code is in SVN with the tag XXXX (no SVN release numbers, please)
Announcement: German language update (rschwenn), fix #364, some gui items
missing localization properties.
Requires Java 1.7
Requires jEdit 05.03.01.00
Required plugins:
Code2HTML 0.7 (code2html.Code2HTMLPlugin)
Common Controls 1.7.4 (CommonControlsPlugin)

Short Description: Tracks position changes, and provides "Back" and "Forward" actions similar to a web browser. Also provides a manual position stack with "Push" and "Pop" actions.

Long Description: <p>

Keeps track of caret position changes on a stack. Provides
"Back" and "Forward" actions for easy navigability to previous positions
in your history. Provides a popup history dialog to allow for
non-sequential jumps through the history.

Also provides a manual position stack, with actions for Push, Pop, Goto Top, and Swap Caret with Top.

}}}

[Townsfolk]

released to pc