Class JasonIDPlugin

java.lang.Object
org.gjt.sp.jedit.EditPlugin
org.gjt.sp.jedit.EBPlugin
jason.jeditplugin.JasonIDPlugin
All Implemented Interfaces:
org.gjt.sp.jedit.EBComponent

public class JasonIDPlugin
extends org.gjt.sp.jedit.EBPlugin
  • Nested Class Summary

    Nested classes/interfaces inherited from class org.gjt.sp.jedit.EditPlugin

    org.gjt.sp.jedit.EditPlugin.Broken, org.gjt.sp.jedit.EditPlugin.Deferred, org.gjt.sp.jedit.EditPlugin.JAR
  • Field Summary

    Fields
    Modifier and Type Field Description
    static java.lang.String MENU  
    static java.lang.String NAME  
    static java.lang.String OPTION_PREFIX  
    static java.lang.String PROPERTY_PREFIX  
  • Constructor Summary

    Constructors
    Constructor Description
    JasonIDPlugin()  
  • Method Summary

    Modifier and Type Method Description
    void handleMessage​(org.gjt.sp.jedit.EBMessage msg)  
    void start()  

    Methods inherited from class org.gjt.sp.jedit.EditPlugin

    createBrowserMenuItems, createMenuItems, createMenuItems, createOptionPanes, getClassName, getJAR, getPluginJAR, stop

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Field Details

  • Constructor Details

    • JasonIDPlugin

      public JasonIDPlugin()
  • Method Details

    • handleMessage

      public void handleMessage​(org.gjt.sp.jedit.EBMessage msg)
      Specified by:
      handleMessage in interface org.gjt.sp.jedit.EBComponent
      Overrides:
      handleMessage in class org.gjt.sp.jedit.EBPlugin
    • start

      public void start()
      Overrides:
      start in class org.gjt.sp.jedit.EditPlugin