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) |