org.gjt.sp.jedit
Class OptionGroup

java.lang.Object
  org.gjt.sp.jedit.OptionGroup

public class OptionGroup

extends java.lang.Object

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

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

Version:

$Id: OptionGroup.java,v 1.10 2003/06/27 20:02:05 spestov Exp $

Author:

Mike Dillon

Constructor Summary

OptionGroup(java.lang.String name)
Creates an option group.

OptionGroup(java.lang.String name, java.lang.String label, java.lang.String options)
Creates an option group.

Method Summary

void	addOptionGroup(OptionGroup group)
void	addOptionPane(OptionPane pane)
void	addOptionPane(java.lang.String pane)
java.lang.String	getLabel() Returns the option group's human-readable label.
java.lang.Object	getMember(int index)
int	getMemberCount()
int	getMemberIndex(java.lang.Object member)
java.util.Enumeration	getMembers()
java.lang.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

Constructor Detail

OptionGroup

public OptionGroup(java.lang.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(java.lang.String name,
                   java.lang.String label,
                   java.lang.String options)

Creates an option group.

Parameters:

label - The label

options - A whitespace-separated list of option pane names

Since:

jEdit 4.2pre2

Method Detail

getName

public java.lang.String getName()

getLabel

public java.lang.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(java.lang.String pane)

getMembers

public java.util.Enumeration getMembers()

getMember

public java.lang.Object getMember(int index)

getMemberIndex

public int getMemberIndex(java.lang.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