{{{ NavigatorPlugin 1.5
Source: Source code is in jEdit SVN with the tag release-1-5.
Announcement: Bug fix release: some code clean up and a memory leak was fixed.
Requires Java 1.4
Requires jEdit 04.03.05.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.
}}}
Logged In: YES
user_id=396194
Originator: NO
Released to Plugin Central.
Logged In: YES
user_id=396194
Originator: NO
Dale,
You are using generics, but requiring 1.4. I've fixed that.
However, I then was receiving a compilation error:
[echo] compiling
[javac] Compiling 6 source files to /home/jchoyt/nobackup/jedit-plugins/Navigator-1.5/Navigator/build
[javac] /home/jchoyt/nobackup/jedit-plugins/Navigator-1.5/Navigator/src/ise/plugin/nav/NavHistoryPopup.java:84: setVisible(boolean) in java.awt.Component cannot be applied to ()
[javac] setVisible();
[javac] ^
[javac] Note: /home/jchoyt/nobackup/jedit-plugins/Navigator-1.5/Navigator/src/ise/plugin/nav/Navigator.java uses unchecked or unsafe operations.
[javac] Note: Recompile with -Xlint:unchecked for details.
[javac] 1 error
I changed that to setVisible(true); given the context.