| Package | Description |
|---|---|
| org.gjt.sp.jedit.pluginmgr |
The plugin manager.
|
| Modifier and Type | Method and Description |
|---|---|
static PluginManager |
PluginManager.getInstance()
Returns the currently visible plugin manager window, or null.
|
| Constructor and Description |
|---|
ManagePanel(PluginManager window) |