Package 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.
-
-
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()
-
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.
-
-