jEdit Community home jEdit Community Wiki > Plugins > DockerPlugin jEdit Community Wiki webs:
Main | Plugins | Know | TWiki | Sandbox?
Plugins . { Changes | Index | Search | Go }

Docker

The Docker plugin provides some extra docking features not available by the jEdit core. Extra features include: dock auto-hiding, popup to cycle through docks, and a toggle all docks shortcut.

Plugin Page Form
Plugin Name?: Docker
Category: Visual
Maintainer: Calvin Yu
Latest Version?: 0.3
Released: July 12, 2003
Where To Download: http://plugins.jedit.org/plugins/?Docker
Description: The Docker plugin provides some extra docking features not available by the jEdit core. Extra features include: dock auto-hiding, popup to cycle through docks, and a toggle all docks shortcut.

Topic DockerPlugin . { Edit | Attach | Ref-By | Printable | Diffs | r1.1 | More }
Revision r1.1 - 16 Aug 2003 - 06:41 GMT - Brad Mace
Parents: Web Home
Copyright © 1999-2011 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding jEdit Community Wiki? Send feedback.
Get jEdit at !SourceForge.net. Fast, secure and Free Open Source software downloads