Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Package:
Description
Related Packages
Classes and Interfaces
Package:
Description
|
Related Packages
|
Classes and Interfaces
SEARCH
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