PreviousNextTracker indexSee it online !

(155/212) 417 - A service for plugins to add toolbars to jEdit.

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

Comments