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) |