Package org.jedit.options
Class PluginOptionGroup
- java.lang.Object
-
- org.gjt.sp.jedit.OptionGroup
-
- org.jedit.options.PluginOptionGroup
-
public class PluginOptionGroup extends OptionGroup
Refactored from PluginOptions.java - this class contains only the OptionGroup and none of the GUI code.- Since:
- jedit5.0
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
PluginOptionGroup.NoPluginsPane
-
Field Summary
-
Fields inherited from class org.gjt.sp.jedit.OptionGroup
label, members, name
-
-
Constructor Summary
Constructors Constructor Description PluginOptionGroup()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description OptionTreeModel
createOptionTreeModel()
-
Methods inherited from class org.gjt.sp.jedit.OptionGroup
addOptionGroup, addOptionPane, addOptionPane, getLabel, getMember, getMemberCount, getMemberIndex, getMembers, getName, setSort
-
-
-
-
Method Detail
-
createOptionTreeModel
public OptionTreeModel createOptionTreeModel()
-
-