Package org.gjt.sp.jedit.pluginmgr

The plugin manager.

Class Summary

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