Uses of Package org.jedit.options (jEdit API Documentation)
Date: 2015-10-20

# Uses of Package
org.jedit.options

- Packages that use org.jedit.options
  Package | Description
  --- | ---
  org.jedit.options | Option-Pane classes

- Classes in org.jedit.options used by org.jedit.options
  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.