Package | Description |
---|---|
org.gjt.sp.jedit |
This package contains jEdit 4's core classes.
|
org.gjt.sp.jedit.gui |
Various GUI controls and dialog boxes.
|
org.gjt.sp.jedit.options |
Global Options dialog box panes.
|
org.jedit.options |
Option-Pane classes
|
Modifier and Type | Method and Description |
---|---|
void |
OptionGroup.addOptionGroup(OptionGroup group) |
Modifier and Type | Method and Description |
---|---|
protected abstract OptionGroup |
OptionsDialog.getDefaultGroup() |
Modifier and Type | Method and Description |
---|---|
void |
OptionsDialog.addOptionGroup(OptionGroup group) |
Constructor and Description |
---|
OptionTreeModel(OptionGroup root) |
Modifier and Type | Method and Description |
---|---|
protected OptionGroup |
GlobalOptions.getDefaultGroup() |
protected OptionGroup |
PluginOptions.getDefaultGroup() |
Modifier and Type | Class and Description |
---|---|
class |
GlobalOptionGroup
A model for all of the Global Options.
|
class |
PluginOptionGroup
Refactored from PluginOptions.java - this class
contains only the OptionGroup
and none of the GUI code.
|
Modifier and Type | Method and Description |
---|---|
void |
TabbedOptionDialog.addOptionGroup(OptionGroup group) |
Constructor and Description |
---|
GlobalOptionGroup(OptionGroup rootGroup) |
OptionGroupPane(OptionGroup group) |
OptionTreeModel(OptionGroup root) |