|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use EditPlugin | |
|---|---|
| org.gjt.sp.jedit | This package contains jEdit's core classes. |
| Uses of EditPlugin in org.gjt.sp.jedit |
|---|
| Subclasses of EditPlugin in org.gjt.sp.jedit | |
|---|---|
class |
EBPlugin
Plugins extending this class are automatically added to the EditBus. |
static class |
EditPlugin.Broken
A placeholder for a plugin that didn't load. |
static class |
EditPlugin.Deferred
A placeholder for a plugin that hasn't been loaded yet. |
| Methods in org.gjt.sp.jedit that return EditPlugin | |
|---|---|
EditPlugin |
PluginJAR.getPlugin()
Returns the plugin core class for this JAR file. |
static EditPlugin |
jEdit.getPlugin(java.lang.String name)
Returns the plugin with the specified class name. |
static EditPlugin |
jEdit.getPlugin(java.lang.String name,
boolean loadIfNecessary)
Returns the plugin with the specified class name. |
static EditPlugin[] |
jEdit.getPlugins()
Returns an array of installed plugins. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||