Package org.jedit.options

Class PluginOptionGroup

java.lang.Object

org.gjt.sp.jedit.OptionGroup

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

Nested Classes

Modifier and Type	Class	Description
static class	PluginOptionGroup.NoPluginsPane
class	PluginOptionGroup.OptionTreeModel

Field Summary

Fields inherited from class org.gjt.sp.jedit.OptionGroup

label, members, name

Constructor Summary

Constructors

Constructor	Description
PluginOptionGroup()

Method Summary

Modifier and Type	Method	Description
PluginOptionGroup.OptionTreeModel	createOptionTreeModel()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from class org.gjt.sp.jedit.OptionGroup

addOptionGroup, addOptionPane, addOptionPane, getLabel, getMember, getMemberCount, getMemberIndex, getMembers, getName, setSort

Constructor Detail

PluginOptionGroup

public PluginOptionGroup()

Method Detail

createOptionTreeModel

public PluginOptionGroup.OptionTreeModel createOptionTreeModel()