Package org.gjt.sp.jedit.options

Global Options dialog box panes.

See:
Description

Class Summary

AbbrevsOptionPane	Abbrev editor.
AppearanceOptionPane
BrowserColorsOptionPane	Browser color editor.
BrowserOptionPane
BufferOptionPane
ContextOptionPane	Right-click context menu editor.
DockingOptionPane
EditingOptionPane
EncodingsOptionPane	Encodings options.
FirewallOptionPane
GeneralOptionPane	jEdit's General Options Pane
GlobalOptions
GutterOptionPane
IconTheme
MouseOptionPane
PluginManagerOptionPane	The plugin manager option pane.
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.
ViewOptionPane

Package org.gjt.sp.jedit.options Description

Global Options dialog box panes.