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.