Module jEdit

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

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

PluginOptionGroup

public PluginOptionGroup()

Method Details

createOptionTreeModel

public OptionTreeModel createOptionTreeModel()