Package | Description |
---|---|
org.gjt.sp.jedit.options |
Global Options dialog box panes.
|
Modifier and Type | Class | Description |
---|---|---|
class |
GlobalOptions |
A dialog that can open initially to one of the Global Option Panes.
|
class |
PluginOptions |
Deprecated.
use CombinedOptions
|