Module jEdit

Package org.jedit.options

package org.jedit.options

Classes

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.