Package | Description |
---|---|
org.gjt.sp.jedit.gui |
Various GUI controls and dialog boxes.
|
org.gjt.sp.jedit.options |
Global Options dialog box panes.
|
org.jedit.options |
Option-Pane classes
|
Modifier and Type | Class | Description |
---|---|---|
class |
AbstractContextOptionPane |
An abstract base class for context menu editors.
|
Modifier and Type | Class | Description |
---|---|---|
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 |
|
class |
EncodingsOptionPane |
Encodings options.
|
class |
FirewallOptionPane |
|
class |
GeneralOptionPane |
jEdit's General Options Pane
|
class |
GutterOptionPane |
|
class |
MouseOptionPane |
|
class |
PluginManagerOptionPane |
The plugin manager option pane.
|
static class |
PluginOptions.NoPluginsPane |
Deprecated.
|
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 |
ViewOptionPane |
Modifier and Type | Class | Description |
---|---|---|
class |
OptionGroupPane |
An option pane for displaying groups of options.
|
static class |
PluginOptionGroup.NoPluginsPane |