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 and Description |
---|---|
class |
AbstractContextOptionPane
An abstract base class for context menu editors.
|
Modifier and Type | Class and 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 and Description |
---|---|
class |
OptionGroupPane
An option pane for displaying groups of options.
|
static class |
PluginOptionGroup.NoPluginsPane |