| Package | Description |
|---|---|
| org.gjt.sp.jedit |
This package contains jEdit'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 | Description |
|---|---|---|
void |
OptionGroup.addOptionGroup(OptionGroup group) |
| Modifier and Type | Method | Description |
|---|---|---|
protected abstract OptionGroup |
OptionsDialog.getDefaultGroup() |
| Modifier and Type | Method | Description |
|---|---|---|
void |
OptionsDialog.addOptionGroup(OptionGroup group) |
| Constructor | Description |
|---|---|
OptionTreeModel(OptionGroup root) |
| Modifier and Type | Method | Description |
|---|---|---|
protected OptionGroup |
GlobalOptions.getDefaultGroup() |
|
protected OptionGroup |
PluginOptions.getDefaultGroup() |
Deprecated.
|
| Modifier and Type | Class | 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 | Description |
|---|---|---|
void |
TabbedOptionDialog.addOptionGroup(OptionGroup group) |
| Constructor | Description |
|---|---|
GlobalOptionGroup(OptionGroup rootGroup) |
|
OptionGroupPane(OptionGroup group) |