org.jedit.options
Classes 
CombinedOptions
GlobalOptionGroup
OptionGroupPane
PluginOptionGroup
PluginOptionGroup.NoPluginsPane
TabbedOptionDialog