|
| |
|
| java.lang.Object
 org.gjt.sp.jedit.OptionGroup
| OptionGroup | | public class OptionGroup (Code) | | A set of option panes shown in one branch in the options dialog.
Plugins should not create instances of this class directly. See
EditPlugin for information on how jEdit obtains and constructs
option pane instances.
author:
Mike Dillon
version:
$Id: OptionGroup.java 8133 2006-11-25 19:50:58Z ezust $ |
| OptionGroup | | public OptionGroup(String name)(Code) | | Creates an option group.
Parameters:
name - The internal name of the option group, used to key aproperty options.name.label which is thelabel displayed in the options dialog.
See Also: jEdit.getProperty(String) |
| OptionGroup | | public OptionGroup(String name, String label, String options)(Code) | | Creates an option group.
Parameters:
label - The label
Parameters:
options - A whitespace-separated list of option pane names
since:
jEdit 4.2pre2 |
| getLabel | | public String getLabel()(Code) | | Returns the option group's human-readable label.
since:
jEdit 4.2pre1 |
| getMemberCount | | public int getMemberCount()(Code) | | |
| getMemberIndex | | public int getMemberIndex(Object member)(Code) | | |
| setSort | | public void setSort(boolean sort)(Code) | | Sets if the members of this group should be sorted.
since:
jEdit 4.2pre3 |
|
|
|