Package | Description |
---|---|
org.jedit.options |
Option-Pane classes
|
Class | Description |
---|---|
CombinedOptions |
An OptionDialog which combines Global and Plugin options
into 2 tabs on a single dialog.
|
PluginOptionGroup.OptionTreeModel | |
TabbedOptionDialog |
Replacement for OptionsDialog.
|