#942 Navigator 2.5

[Dale Anson]

{{{ NavigatorPlugin 2.5
Source: Source code is in SVN with the tag Navigator-2.5
Announcement:
German localization.
Documentation update.
Replaced property hacking with an actual toolbar class.
Fixed group by line, it wasn't actually working since last release.
#3520045 - added patch from Tom Power for jump by file.

Requires Java 1.6
Requires jEdit 05.00.99.00
Required plugins: 
    Code2HTML 0.6 (code2html.Code2HTMLPlugin)
    Common Controls 1.7.2 (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]

Tested with Common Controls 1.7.3