Related to ticket: 3097570
I would like jEdit to manage toolbars. And allow them to share vertical space.
We need to define a service for toolbars like we have for dockables, and we need to
incorporate toolbars into the perspective? docking layout? what?
Submitted | ezust - 2011-12-10 17:48:32 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | None |
Resolution | None |