The Docker plugin provides some extra docking actions which were not available in the jEdit core. Extra features include: eclipse-style saving/loading of perspectives, dock auto-hiding, popup to cycle through docks, and a toggle all docks shortcut.
The plugin's features have been merged into jEdit 4.3pre16 and in fact, this plugin is not needed (and clashes with) any versions after from 4.3pre16 and up.
|