Uses of Class
org.basex.util.options.NumbersOption

Packages that use NumbersOption

Package	Description
org.basex.gui	GUI Package.
org.basex.util.options

Uses of NumbersOption in org.basex.gui

Fields in org.basex.gui declared as NumbersOption

Modifier and Type	Field	Description
static final NumbersOption	GUIOptions.GUILOC	GUI position.
static final NumbersOption	GUIOptions.GUISIZE	GUI height.

Uses of NumbersOption in org.basex.util.options

Methods in org.basex.util.options with parameters of type NumbersOption

Modifier and Type	Method	Description
final int[]	Options.get(NumbersOption option)	Returns the requested integer array.
final void	Options.set(NumbersOption option, int[] value)	Sets the integer array value of an option.