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.
In those cases where a single option pane is inadequate to present all
of a plugin's configuration options, this class can be used to create a
group of options panes. The group will appear as a single node in the
options dialog tree. The member option panes will appear as
leaf nodes under the group's node.
- Version:
- $Id: OptionGroup.java,v 1.4 2003/02/08 20:13:27 spestov Exp $
- Author:
- Mike Dillon, John Gellene (API documentation)
- See Also:
OptionPane
,
OptionsDialog.addOptionGroup(OptionGroup)
Constructor Summary |
OptionGroup(java.lang.String name)
Creates an option group. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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)
getName
public java.lang.String getName()
addOptionGroup
public void addOptionGroup(OptionGroup group)
addOptionPane
public void addOptionPane(OptionPane 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()
save
public void save()