[ jEdit-users ] Navigator Plugin - very cool! and possible bug

[Paul R. <rus...@gm...>]

Hi Dale,

   I just discovered your Navigator Plugin. Its very cool! This is
going to save me a tun of time when I write code! I was thinking about
adding this functionality to the Bookmarks plugin and now I don't have
to! Thanks!

I may have run into a bug in the Navigator Plugin
Using jEdit 4.1 pre 15 and Navigator Plugin 1.0.1 on windows 2000

If I disable the toolbar and restart jEdit so that the Navigator
buttons are not visible, I am unable to Navigate forward and backward.
Wether I assign a shortkut key, or use the plugin menu, nothing
happens. (Nothing is logged int he Activity log either.) If I enable
the toolbar, then navigator starts working. Is this a bug, and if so
is there any chance of a fix? I'd really like to start using
Navigator, but I like my screen space too much to use the toolbar.

It also appears that if you select Navigator->Show on toolbar (which
is the default setting) and have the toolbar disabled, the next time
you start jedit, the Navigator buttons appear in the toolbar. That is
arguably a feature and not a bug, because a user might want to just
see the navigator buttons, but in my opinion the plugin behavior with
toolbar icons should use the toolbar settings as master settings. Thus
a plugin should check the enabled/disabled settings on the toolbar
before rendering to the toolbar. Again, this one is just opinion.


Thanks for writing a really cool plugin!
Paul