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.
 
Method Summary
 void addOptionGroup(OptionGroup group)
           
 void addOptionPane(OptionPane pane)
           
 java.lang.Object getMember(int index)
           
 int getMemberCount()
           
 int getMemberIndex(java.lang.Object member)
           
 java.util.Enumeration getMembers()
           
 java.lang.String getName()
           
 void save()
           
 
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)
Method Detail

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()