[ jEdit-devel ] [ jedit-Plugin Bugs-1386628 ] Navigator: Toolbar should be draggable

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

Plugin Bugs item #1386628, was opened at 2005-12-20 16:09
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=1386628&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: Alan Ezust (ezust)
Assigned to: Nobody/Anonymous (nobody)
Summary: Navigator: Toolbar should be draggable

Initial Comment:
It would be nice if the Navigator toolbar was dragable
and droppable into the main jEdit toolbar so that they
could be next to each other, instead of taking up so
much vertical real-estate for just two buttons.



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

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