org.jedit.options (jEdit API Documentation)

# Package org.jedit.options

Option-Pane classes

- Class Summary
  Class | Description
  --- | ---
  CombinedOptions | An OptionDialog which combines Global and Plugin options into 2 tabs on a single dialog.
  GlobalOptionGroup | A model for all of the Global Options.
  OptionGroupPane | An option pane for displaying groups of options.
  OptionTreeModel | TreeModel implementation backed by an OptionGroup
  PluginOptionGroup | Refactored from PluginOptions.java - this class contains only the OptionGroup and none of the GUI code.
  PluginOptionGroup.NoPluginsPane |
  TabbedOptionDialog | Replacement for OptionsDialog.