Package | Description |
---|---|
org.jedit.options |
Option-Pane classes
|
Modifier and Type | Method | Description |
---|---|---|
static CombinedOptions |
CombinedOptions.combinedOptions(java.awt.Frame parent) |
Static constructor that remembers the previously used tab.
|