jEdit / Feature Requests / #378 DropTarget toolbars, save position persistently.

#378 DropTarget toolbars, save position persistently.

Status: open

Owner: nobody

Labels: core (195)

Priority: 7

Updated: 2010-12-20

Created: 2010-10-28

Creator: Alan Ezust

Private: No

We need to make the main jEdit toolbar allow other floating dockable toolbars to be added by other plugins.
This way, the sidekick, console, and main toolbar can (in theory) share the same vertical area.

Discussion

Alan Ezust - 2010-10-28

And then we can make the incremental search toolbar floatable/dockable too.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Alan Ezust - 2010-12-20

priority: 5 --> 7

summary: Floating Dockable Toolbars --> DropTarget toolbars, save position persistently.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

DropTarget toolbars, save position persistently.

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#378 DropTarget toolbars, save position persistently.

Discussion