Package org.jpop.jedit

Class Summary

JeditPoplog	This class is what gets loaded into JEdit.
JeditPoplogDocBrowser	Doc browser modified to be integrated fully into jedit
JeditPropertiesEditor	This class provides a properties editor that can be loaded by JEdit
PoplogDocPlugin	This class is here just to let JEdit know that there is a plugin called PoplogDocPlugin.
PoplogPlugin	This class is here just to let JEdit know that there is a plugin called PoplogPlugin.