1. Summary
  2. Files
  3. Support
  4. Report Spam
  5. Create account
  6. Log in

Toolbar API

From jedit

Jump to: navigation, search

The new API should allow plugins to offer floatable, closable, drag and droppable toolbars for toolbar areas in jEdit which can be saved/restored with the perspective? or docking layout?

https://sourceforge.net/tracker/?func=detail&aid=3456451&group_id=588&atid=350588

https://sourceforge.net/tracker/?func=detail&aid=3097570&group_id=588&atid=350588

Personal tools