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