org.jpop.jedit
Class PoplogDocPlugin

java.lang.Object
  org.gjt.sp.jedit.EditPlugin
      org.jpop.jedit.PoplogDocPlugin

public class PoplogDocPlugin

extends org.gjt.sp.jedit.EditPlugin

This class is here just to let JEdit know that there is a plugin called PoplogDocPlugin. It also handles the stop() action of the plugin, tho might later be moved to JeditPoplog.java::handleMessage(...)

Nested Class Summary

Nested classes 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

Constructor Summary

PoplogDocPlugin()

Method Summary

void

stop()

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

createBrowserMenuItems, createMenuItems, createMenuItems, createOptionPanes, getClassName, getJAR, getPluginJAR, start

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PoplogDocPlugin

public PoplogDocPlugin()

Method Detail

stop

public void stop()