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.