Class PoplogDocPlugin

  extended byorg.gjt.sp.jedit.EditPlugin
      extended byorg.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

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


public PoplogDocPlugin()
Method Detail


public void stop()