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