Navigator 1.0.8

Logged In: YES
user_id=935841

I'm using the CVS version (1.0.5) with 4.3, but the only way
it doesn't work is with respect to the bug fix you are
referring to above - Navigator doesn't wake up unless I
actually display the GUI.

Logged In: YES
user_id=935841

I'm going to submit a few more fixes to 1.0.7 before we
release this...

Logged In: YES
user_id=935841

Try 1.0.7 please and see if you like it.

Now it really doesn't need to show its gui, and it creates
itself properly whenever a new view is created.

NOTE: this version seems to work with Jedit 4.3 and 4.2

Logged In: YES
user_id=935841

fixed the goBack() action so that it pushes onto the
forwardStack the current caretposition.

Logged In: YES
user_id=935841

This version does not properly listen to file open/close
events, but it will be the last one released for jedit 4.2.
It's been tagged, you can release it if you want.

1.1, which was just committed to CVS, works only with
4.3pre3 and does listen to LOAD_STARTED and CLOSING events,
making it much more useful as a navigation tool.

It's ready for testing now, but I won't tag/release it until
after 4.3pre3 is out.

Logged In: YES
user_id=396194

Packaged and uploaded version 1.0.4 as submitted by the
Plugin author. All Alan's enhancements will be included
with the 1.1 release for jEdit 4.3pre3.

Dale, please fix the build.xml file in the following ways:
you can't use the @@VAR@@ notation for the build verion in
the props file - the packaging script uses that to check
that the version number in the props file is correct and it
breaks our scripts. Please just use the actual version
number. Second, please create a dist target that just
relies on your plugin target in the build.xml file. dist is
the standard jEdit plugin build file name for creating doing
that job.

Thanks,

Jeff