Package 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.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.gjt.sp.jedit.EditPlugin
EditPlugin.Broken, EditPlugin.Deferred
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
getClassName()
java.lang.String
toString()
-
Methods inherited from class org.gjt.sp.jedit.EditPlugin
createBrowserMenuItems, createMenuItems, getPluginHome, getPluginHome, getPluginHome, getPluginJAR, getResourceAsOutputStream, getResourceAsOutputStream, getResourceAsStream, getResourceAsStream, getResourcePath, getResourcePath, start, stop
-
-
-
-
Method Detail
-
getClassName
public java.lang.String getClassName()
- Overrides:
getClassName
in classEditPlugin
- 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.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-