org.jedit.options
Class PluginOptionGroup

java.lang.Object
  extended by org.gjt.sp.jedit.OptionGroup
      extended by org.jedit.options.PluginOptionGroup

public class PluginOptionGroup
extends OptionGroup

Refactored from PluginOptions.java - this class contains only the OptionGroup and none of the GUI code.

Since:
jedit5.0

Nested Class Summary
static class PluginOptionGroup.NoPluginsPane
           
 class PluginOptionGroup.OptionTreeModel
           
 
Field Summary
 
Fields inherited from class org.gjt.sp.jedit.OptionGroup
label, members, name
 
Constructor Summary
PluginOptionGroup()
           
 
Method Summary
 PluginOptionGroup.OptionTreeModel createOptionTreeModel()
           
 
Methods inherited from class org.gjt.sp.jedit.OptionGroup
addOptionGroup, addOptionPane, addOptionPane, getLabel, getMember, getMemberCount, getMemberIndex, getMembers, getName, setSort
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PluginOptionGroup

public PluginOptionGroup()
Method Detail

createOptionTreeModel

public PluginOptionGroup.OptionTreeModel createOptionTreeModel()