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.
|