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.
| Submitted | ezust - 2010-10-28 18:04:19 | Assigned | |
|---|---|---|---|
| Priority | 7 | Labels | core |
| Status | open | Group | None |
| Resolution | None |
| 2010-10-28 18:18:57 ezust |
And then we can make the incremental search toolbar floatable/dockable too.
|
|---|---|
| 2010-12-20 19:53:26 ezust |
- **priority**: 5 --> 7 |