NavigatorPlugin 1.6
Source: Source code is in SVN with the tag release-1-6 (https://jedit.svn.sourceforge.net/svnroot/jedit/plugins/Navigator/tags/release-1-6)
Announcement: Bug fix release:
- Applied patch 2011801 from Kazutoshi Satoda to improve memory usage
- Update from Alan Ezust for jEdit 4.3pre15 to use new messages
- Update from Alan Ezust to work with new EditPane features
- Restored ability to add back and forward buttons to toolbar
- Updated documentation about how to access popup history lists
Requires Java 1.5
Requires jEdit 04.03.15.00
Short Description: The Navigator Plugin provides a set of "Back" and
"Forward" actions similar to a web browser. This is surprisingly handy.
Long Description: Description: Keeps track of caret positions just before
the buffers change, or whenever the mouse clicks. Allows easy navigability
to previous positions in your history. Also provides a popup history dialog
to allow for non-sequential jumps through the history.
released to plugin central