org.gjt.sp.jedit
Class EditPlugin.Deferred
java.lang.Object
org.gjt.sp.jedit.EditPlugin
org.gjt.sp.jedit.EditPlugin.Deferred
- Enclosing class:
- EditPlugin
- public static class EditPlugin.Deferred
- extends EditPlugin
A placeholder for a plugin that hasn't been loaded yet.
- See Also:
jEdit.getPlugin(String)
,
PluginJAR.getPlugin()
,
PluginJAR.activatePlugin()
getClassName
public String getClassName()
- Description copied from class:
EditPlugin
- Returns the plugin's class name. This might not be the same as
the class of the actual
EditPlugin
instance, for
example if the plugin is not loaded yet.
- Overrides:
getClassName
in class EditPlugin
toString
public String toString()