Package | Description |
---|---|
org.basex.gui |
GUI Package.
|
org.basex.util.options |
Modifier and Type | Field and Description |
---|---|
static NumbersOption |
GUIOptions.BINDINGSLOC
Dialog location.
|
static NumbersOption |
GUIOptions.COLORSLOC
Dialog location.
|
static NumbersOption |
GUIOptions.FONTSLOC
Dialog location.
|
static NumbersOption |
GUIOptions.GUILOC
GUI position.
|
static NumbersOption |
GUIOptions.GUISIZE
GUI height.
|
Modifier and Type | Method and Description |
---|---|
int[] |
Options.get(NumbersOption option)
Returns the original instance of the requested integer array.
|
void |
Options.set(NumbersOption option,
int[] value)
Sets the integer array value of an option.
|
Copyright © 2005–2015 BaseX Team. All rights reserved.