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 inherited from class org.gjt.sp.jedit.EditPlugin
EditPlugin.Broken, EditPlugin.JAR
 
Method Summary
 java.lang.String getClassName()
          Returns the plugin's class name.
 
Methods inherited from class org.gjt.sp.jedit.EditPlugin
createMenuItems, createOptionPanes, getJAR, start, stop
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

getClassName

public java.lang.String getClassName()
Description copied from class: EditPlugin
Returns the plugin's class name.

Overrides:
getClassName in class EditPlugin