Module jEdit

Package org.gjt.sp.jedit.pluginmgr

package org.gjt.sp.jedit.pluginmgr

Related Packages

Package	Description
org.gjt.sp.jedit

Classes

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