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 and Description
static class	PluginOptionGroup.NoPluginsPane

Field Summary

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

label, members, name

Constructor Summary

Constructors

Constructor and Description
PluginOptionGroup()

Method Summary

Modifier and Type	Method and 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 Detail

PluginOptionGroup

public PluginOptionGroup()

Method Detail

createOptionTreeModel

public OptionTreeModel createOptionTreeModel()