Module jEdit

Package org.gjt.sp.jedit

Class OptionGroup

java.lang.Object

org.gjt.sp.jedit.OptionGroup

Direct Known Subclasses:

GlobalOptionGroup, PluginOptionGroup

public class OptionGroup
extends Object

A set of option panes shown in one branch in the options dialog.

Plugins should not create instances of this class directly. See EditPlugin for information on how jEdit obtains and constructs option pane instances.

Version:

$Id: OptionGroup.java 21831 2012-06-18 22:54:17Z ezust $

Author:

Mike Dillon

Field Summary

Fields

Modifier and Type	Field	Description
protected final String	label
protected final Vector<Object>	members
protected final String	name

Constructor Summary

Constructors

Constructor	Description
OptionGroup(String name)	Creates an option group.
OptionGroup(String name, String label, String options)	Creates an option group.

Method Summary

Modifier and Type	Method	Description
void	addOptionGroup(OptionGroup group)
void	addOptionPane(String pane)
void	addOptionPane(OptionPane pane)
String	getLabel()	Returns the option group's human-readable label.
Object	getMember(int index)
int	getMemberCount()
int	getMemberIndex(Object member)
Enumeration<Object>	getMembers()
String	getName()
void	setSort(boolean sort)	Sets if the members of this group should be sorted.

Methods inherited from class java.lang.Object

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

Field Details

name

protected final String name

label

protected final String label

members

protected final Vector<Object> members

Constructor Details

OptionGroup

public OptionGroup(String name)

Creates an option group.

Parameters:

name - The internal name of the option group, used to key a property options.name.label which is the label displayed in the options dialog.

See Also:

• jEdit.getProperty(String)

OptionGroup

public OptionGroup(String name,
 String label,
 String options)

Creates an option group.

Parameters:

label - The label

options - A whitespace-separated list of option pane names

Since:

jEdit 4.2pre2

Method Details

getName

public String getName()

getLabel

public String getLabel()

Returns the option group's human-readable label.

Since:

jEdit 4.2pre1

addOptionGroup

public void addOptionGroup(OptionGroup group)

addOptionPane

public void addOptionPane(OptionPane pane)

addOptionPane

public void addOptionPane(String pane)

getMembers

public Enumeration<Object> getMembers()

getMember

public Object getMember(int index)

getMemberIndex

public int getMemberIndex(Object member)

getMemberCount

public int getMemberCount()

setSort

public void setSort(boolean sort)

Sets if the members of this group should be sorted.

Since:

jEdit 4.2pre3