Package org.gjt.sp.jedit
Class OptionGroup
- java.lang.Object
-
- org.gjt.sp.jedit.OptionGroup
-
- Direct Known Subclasses:
GlobalOptionGroup,PluginOptionGroup
public class OptionGroup extends java.lang.ObjectA set of option panes shown in one branch in the options dialog.Plugins should not create instances of this class directly. See
EditPluginfor information on how jEdit obtains and constructs option pane instances.
-
-
Constructor Summary
Constructors Constructor 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.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddOptionGroup(OptionGroup group)voidaddOptionPane(java.lang.String pane)voidaddOptionPane(OptionPane pane)java.lang.StringgetLabel()Returns the option group's human-readable label.java.lang.ObjectgetMember(int index)intgetMemberCount()intgetMemberIndex(java.lang.Object member)java.util.Enumeration<java.lang.Object>getMembers()java.lang.StringgetName()voidsetSort(boolean sort)Sets if the members of this group should be sorted.
-
-
-
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 propertyoptions.name.labelwhich 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 labeloptions- 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<java.lang.Object> 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
-
-