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 OptionGroupPluginOptionGroup Refactored from PluginOptions.java - this class contains only the OptionGroup and none of the GUI code.PluginOptionGroup.NoPluginsPane TabbedOptionDialog Replacement for OptionsDialog.