Menu

#511 Navigator plugin release request

closed
None
5
2008-11-08
2008-11-01
Dale Anson
No

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.

Discussion

  • Townsfolk

    Townsfolk - 2008-11-08
    • assigned_to: nobody --> elberry
     
  • Townsfolk

    Townsfolk - 2008-11-08

    released to plugin central

     
  • Townsfolk

    Townsfolk - 2008-11-08
    • status: open --> closed
     

Log in to post a comment.