jEdit Community Wiki . Plugins . DockerPlugin

Docker

Category: Visual
Maintainer: Calvin Yu
Latest Version?: 0.3
Released: July 12, 2003
Download: http://plugins.jedit.org/plugins/?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.

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