class |
AbbrevsOptionPane |
Abbrev editor.
|
class |
AppearanceOptionPane |
|
class |
BrowserColorsOptionPane |
Browser color editor.
|
class |
BrowserContextOptionPane |
Right-click context menu editor.
|
class |
BrowserOptionPane |
|
class |
BufferOptionPane |
|
class |
ContextOptionPane |
Right-click context menu editor.
|
class |
DockingOptionPane |
|
class |
EditingOptionPane |
Panel to load three option panes into tabs: EditModesPane, ModeSettingsPane,
and UndoPane.
|
class |
EditModesPane |
Option pane to set available edit modes and to add modes from a file.
|
class |
EncodingsOptionPane |
Encodings options.
|
class |
FirewallOptionPane |
|
class |
GeneralOptionPane |
jEdit's General Options Pane
|
class |
GutterOptionPane |
|
class |
LargeFilesOptionPane |
The options pane for handling large files.
|
class |
ModeSettingsPane |
Option pane to change the settings of an edit mode.
|
class |
MouseOptionPane |
|
class |
PluginManagerOptionPane |
The plugin manager option pane.
|
static class |
PluginOptions.NoPluginsPane |
|
class |
PrintOptionPane |
|
class |
SaveBackupOptionPane |
The Save and Backup option panel.
|
class |
ShortcutsOptionPane |
Key binding editor.
|
class |
StatusBarOptionPane |
Status bar editor.
|
class |
SyntaxHiliteOptionPane |
Style option pane.
|
class |
TextAreaOptionPane |
|
class |
ToolBarOptionPane |
Tool bar editor.
|
class |
UndoPane |
Set options for undo here.
|
class |
ViewOptionPane |
|