org.jpop.jedit
Class PoplogPlugin

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

public class PoplogPlugin

extends org.gjt.sp.jedit.EditPlugin

This class is here just to let JEdit know that there is a plugin called PoplogPlugin. 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

PoplogPlugin()

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

PoplogPlugin

public PoplogPlugin()

Method Detail

stop

public void stop()