Package | Description |
---|---|
org.basex.gui |
GUI Package.
|
org.basex.gui.layout |
Project specific GUI components.
|
org.basex.util.options |
Modifier and Type | Field and Description |
---|---|
static StringsOption |
GUIOptions.COMMANDS
Last command inputs.
|
static StringsOption |
GUIOptions.EDITOR
Last editor files.
|
static StringsOption |
GUIOptions.INPUTS
Input paths.
|
static StringsOption |
GUIOptions.OPEN
Open editor files.
|
static StringsOption |
GUIOptions.REPLACED
Last replaced strings.
|
static StringsOption |
GUIOptions.SEARCH
Last keyword inputs.
|
static StringsOption |
GUIOptions.SEARCHED
Last searched strings.
|
static StringsOption |
GUIOptions.XQUERY
Last XQuery inputs.
|
Modifier and Type | Method and Description |
---|---|
void |
BaseXTextField.history(StringsOption so,
Window win)
Attaches a history.
|
Constructor and Description |
---|
BaseXHistory(GUI gui,
StringsOption history)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
String[] |
Options.get(StringsOption option)
Returns the original instance of the requested string array.
|
void |
Options.set(StringsOption option,
String[] value)
Sets the string array value of an option.
|
Copyright © 2005–2015 BaseX Team. All rights reserved.