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 | |
EncodingsOptionPane |
Encodings options.
|
FirewallOptionPane | |
GeneralOptionPane |
jEdit's General Options Pane
|
GlobalOptions | Deprecated
- use CombinedOptions
|
GutterOptionPane | |
IconTheme | |
MouseOptionPane | |
PluginManagerOptionPane |
The plugin manager option pane.
|
PluginOptions | Deprecated
use CombinedOptions
|
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 |