Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package org.gjt.sp.jedit.options

Global Options dialog box panes.

See:
Description

Class Summary
AbbrevsOptionPane | Abbrev editor.
AppearanceOptionPane |
BrowserColorsOptionPane | Browser color editor.
BrowserContextOptionPane | Right-click context menu 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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES