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
| Class | Description |
|---|---|
| ManagePanel |
The ManagePanel is the JPanel that shows the installed plugins.
|
| MirrorList | |
| MirrorList.Mirror | |
| PluginManager | |
| RemotePluginList |