Package org.gjt.sp.jedit.pluginmgr

package org.gjt.sp.jedit.pluginmgr

The plugin manager.

Related Packages

Package	Description
org.gjt.sp.jedit	This package contains jEdit 4's core classes.

Classes

Class	Description
ManagePanel	The ManagePanel is the JPanel that shows the installed plugins.
MirrorList
MirrorList.Mirror
PluginManager