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

Packages that use StringsOption

Package	Description
org.basex.gui	GUI Package.
org.basex.gui.layout	Project specific GUI components.
org.basex.util.options

Uses of StringsOption in org.basex.gui

Fields in org.basex.gui declared as StringsOption

Modifier and Type	Field	Description
static final StringsOption	GUIOptions.COMMANDS	Last command inputs.
static final StringsOption	GUIOptions.EDITOR	History of editor files.
static final StringsOption	GUIOptions.INPUTS	Input/output paths.
static final StringsOption	GUIOptions.OPEN	Files opened in the editor.
static final StringsOption	GUIOptions.PROJCONTS	History of filtered project file contents.
static final StringsOption	GUIOptions.PROJECTS	History of project directories.
static final StringsOption	GUIOptions.PROJFILES	History of filtered project files.
static final StringsOption	GUIOptions.REPLACED	Last replaced strings.
static final StringsOption	GUIOptions.SEARCH	Last keyword inputs.
static final StringsOption	GUIOptions.SEARCHED	Last searched strings.
static final StringsOption	GUIOptions.XQUERY	Last XQuery inputs.

Methods in org.basex.gui with parameters of type StringsOption

Modifier and Type	Method	Description
void	GUIOptions.setFiles(StringsOption option, String[] paths)	Sets the string array value of an option.

Uses of StringsOption in org.basex.gui.layout

Methods in org.basex.gui.layout with parameters of type StringsOption

Modifier and Type	Method	Description
final BaseXCombo	BaseXCombo.history(StringsOption opt, Options opts)	Attaches a history and enables a listener for cursor down/up keys.

Constructors in org.basex.gui.layout with parameters of type StringsOption

Modifier	Constructor	Description
	BaseXHistory(StringsOption history, Options options)	Constructor.

Uses of StringsOption in org.basex.util.options

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

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