[ jEdit-devel ] [ jedit-Plugin Bugs-1386627 ] Navigator: doesn't wake up until dockable

[SourceForge.net <no...@so...>]

Plugin Bugs item #1386627, was opened at 2005-12-20 16:06
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=1386627&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Navigator: doesn't wake up until dockable

Initial Comment:
Navigator is quite useful as an "invisible" plugin, and
should not need to have visible buttons to work. 

If it is not being shown on the toolbar. it should
still be saving its history and working with the
keyboard shortcuts.


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=1386627&group_id=588