Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
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