public class OptionGroup
extends java.lang.Object
 Plugins should not create instances of this class directly. See
 EditPlugin for information on how jEdit obtains and constructs
 option pane instances.
| Modifier and Type | Field and Description | 
|---|---|
| protected java.lang.String | label | 
| protected java.util.Vector<java.lang.Object> | members | 
| protected java.lang.String | name | 
| Constructor and Description | 
|---|
| 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. | 
| Modifier and Type | Method and Description | 
|---|---|
| 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<java.lang.Object> | getMembers() | 
| java.lang.String | getName() | 
| void | setSort(boolean sort)Sets if the members of this group should be sorted. | 
protected final java.lang.String name
protected final java.lang.String label
protected final java.util.Vector<java.lang.Object> members
public OptionGroup(java.lang.String name)
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.jEdit.getProperty(String)public OptionGroup(java.lang.String name,
                   java.lang.String label,
                   java.lang.String options)
label - The labeloptions - A whitespace-separated list of option pane namespublic java.lang.String getName()
public java.lang.String getLabel()
public void addOptionGroup(OptionGroup group)
public void addOptionPane(OptionPane pane)
public void addOptionPane(java.lang.String pane)
public java.util.Enumeration<java.lang.Object> getMembers()
public java.lang.Object getMember(int index)
public int getMemberIndex(java.lang.Object member)
public int getMemberCount()
public void setSort(boolean sort)