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