org.gjt.sp.jedit
Class EditPlugin.Broken
java.lang.Object
org.gjt.sp.jedit.EditPlugin
org.gjt.sp.jedit.EditPlugin.Broken
- Enclosing class:
- EditPlugin
- public static class EditPlugin.Broken
- extends EditPlugin
A placeholder for a plugin that didn't load.
- See Also:
jEdit.getPlugin(String)
,
PluginJAR.getPlugin()
,
PluginJAR.activatePlugin()
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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