| Package | Description |
|---|---|
| org.gjt.sp.jedit.options |
Global Options dialog box panes.
|
| Modifier and Type | Class and Description |
|---|---|
class |
GlobalOptions
A dialog that can open initially to one of the Global Option Panes.
|
class |
PluginOptions
deprecated use CombinedOptions
I've undeprecated this, CombinedOptions does not provide the same api and cannot
be traded out for PluginOptions.
|