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