Package org.gjt.sp.jedit.options

Global Options dialog box panes.

Class Summary

Class	Description
AbbrevsOptionPane	Abbrev editor.
AppearanceOptionPane
BrowserColorsOptionPane	Browser color editor.
BrowserContextOptionPane	Right-click context menu editor.
BrowserOptionPane
BufferOptionPane
ContextOptionPane	Right-click context menu editor.
DockingOptionPane
EditingOptionPane	Panel to load three option panes into tabs: EditModesPane, ModeSettingsPane, and UndoPane.
EditModesPane	Option pane to set available edit modes and to add modes from a file.
EncodingsOptionPane	Encodings options.
FirewallOptionPane
GeneralOptionPane	jEdit's General Options Pane
GlobalOptions	A dialog that can open initially to one of the Global Option Panes.
GutterOptionPane
IconTheme
LargeFilesOptionPane	The options pane for handling large files.
ModeSettingsPane	Option pane to change the settings of an edit mode.
MouseOptionPane
PluginManagerOptionPane	The plugin manager option pane.
PluginOptions	deprecated use CombinedOptions I've undeprecated this, CombinedOptions does not provide the same api and cannot be traded out for PluginOptions.
PluginOptions.NoPluginsPane
PrintOptionPane
SaveBackupOptionPane	The Save and Backup option panel.
ShortcutsOptionPane	Key binding editor.
StatusBarOptionPane	Status bar editor.
SyntaxHiliteOptionPane	Style option pane.
TextAreaOptionPane
ToolBarOptionPane	Tool bar editor.
UndoPane	Set options for undo here.
ViewOptionPane