Package | Description |
---|---|
org.gjt.sp.jedit.browser |
jEdit's file system browser.
|
org.gjt.sp.jedit.gui |
Various GUI controls and dialog boxes.
|
org.gjt.sp.jedit.help |
The jEdit help viewer.
|
org.gjt.sp.jedit.pluginmgr |
The plugin manager.
|
Modifier and Type | Method and Description |
---|---|
void |
VFSBrowser.handlePluginUpdate(PluginUpdate pmsg) |
Modifier and Type | Method and Description |
---|---|
void |
DockableWindowManagerImpl.handlePluginUpdate(PluginUpdate pmsg) |
void |
DockableWindowManager.handlePluginUpdate(PluginUpdate pmsg) |
Modifier and Type | Method and Description |
---|---|
void |
HelpViewer.handlePluginUpdate(PluginUpdate pmsg) |
Modifier and Type | Method and Description |
---|---|
void |
PluginManager.handlePluginUpdate(PluginUpdate msg) |