org.basex.gui

Class GUIProp

java.lang.Object

org.basex.core.AProp

org.basex.gui.GUIProp

All Implemented Interfaces:

java.lang.Iterable<java.lang.String>

public final class GUIProp
extends AProp

This class contains properties which are used in the GUI. They are also stored in the project's home directory.

Author:

BaseX Team 2005-12, BSD License, Christian Gruen

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.Object[]	COLORBLUE Blue GUI color factor.
static java.lang.Object[]	COLORGREEN Green GUI color factor.
static java.lang.Object[]	COLORRED Red GUI color factor.
static java.lang.Object[]	COLORSLOC Dialog location.
static java.lang.Object[]	COMMANDS Last command inputs.
static java.lang.Object[]	CREATENAME Name of new database.
static java.lang.Object[]	CREATEPATH Path for creating new databases.
static java.lang.Object[]	EXECRT Flag for realtime query execution.
static java.lang.Object[]	FILTERRT Flag for realtime context filtering.
static java.lang.Object[]	FONT Default GUI Font.
static java.lang.Object[]	FONTSIZE Font size.
static java.lang.Object[]	FONTSLOC Dialog location.
static java.lang.Object[]	FONTTYPE Font TYPE = plain, bold, italics).
static java.lang.Object[]	GRADIENT Paint gradients as background.
static java.lang.Object[]	GUILOC GUI position.
static java.lang.Object[]	GUISIZE GUI height.
static java.lang.Object[]	JAVALOOK Flag for Java look and feel.
static java.lang.Object[]	LASTINSERT Last insertion type.
static java.lang.Object[]	MAPALGO Map algorithm.
static java.lang.Object[]	MAPATTS Show attributes in treemap.
static java.lang.Object[]	MAPLAYOUTLOC Dialog location.
static java.lang.Object[]	MAPOFFSETS Treemap Offsets.
static java.lang.Object[]	MAPWEIGHT number of children <-> size weight in (0;100).
static java.lang.Object[]	MAXHITS Maximum number of hits to be displayed (-1: return all hits; default: 250K).
static java.lang.Object[]	MAXSTATE Flag for maximized GUI window.
static java.lang.Object[]	MAXTEXT Maximum text size to be displayed.
static java.lang.Object[]	MONOFONT Default GUI Monospace Font.
static java.lang.Object[]	MOUSEFOCUS Focus follows mouse.
static java.lang.Object[]	PKGPATH Package path.
static java.lang.Object[]	PLOTDOTS Dot sizes in plot.
static java.lang.Object[]	PLOTXLOG Logarithmic plot.
static java.lang.Object[]	PLOTYLOG Logarithmic plot.
static java.lang.Object[]	QUERIES Last XQuery files.
static java.lang.Object[]	SAVEPATH Path for creating new XML documents.
static java.lang.Object[]	SEARCH Last keyword inputs.
static java.lang.Object[]	SEARCHMODE Current input mode in global text field (Search, XQuery, Command).
static java.lang.Object[]	SERVERUSER Server user.
static java.lang.Object[]	SHOWBUTTONS Flag for displaying buttons in the GUI window.
static java.lang.Object[]	SHOWEDITOR Flag for activated xquery view.
static java.lang.Object[]	SHOWEXPLORE Flag for activated query view.
static java.lang.Object[]	SHOWFOLDER Flag for activated tree view.
static java.lang.Object[]	SHOWINFO Flag for activated info view.
static java.lang.Object[]	SHOWINPUT Flag for displaying the text field in the GUI window.
static java.lang.Object[]	SHOWMAP Flag for activated map view.
static java.lang.Object[]	SHOWNAME Flag for dissolving name attributes.
static java.lang.Object[]	SHOWPLOT Flag for activated plot view.
static java.lang.Object[]	SHOWSTATUS Flag for displaying the status bar in the GUI window.
static java.lang.Object[]	SHOWTABLE Flag for activated table view.
static java.lang.Object[]	SHOWTEXT Flag for activated result view.
static java.lang.Object[]	SHOWTREE Flag for activated tree view.
static java.lang.Object[]	SIMPLEFD Flag for showing the simple file dialog.
static java.lang.Object[]	STOPPATH Path for stopwords.
static java.lang.Object[]	TREEATTS Show attributes in treeview.
static java.lang.Object[]	TREESLIMS Slim rectangles to text length.
static java.lang.Object[]	UPDATEVERSION Last updated version.
static java.lang.Object[]	VIEWS GUI Layout.
static java.lang.Object[]	XQPATH Path for XQuery files.
static java.lang.Object[]	XQUERY Last XQuery inputs.

Fields inherited from class org.basex.core.AProp

props

Constructor Summary

Constructors

Constructor and Description
GUIProp() Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
void	recent(IOFile file) Refreshes the list of recent query files and updates the query path.

Methods inherited from class org.basex.core.AProp

get, get, invert, is, iterator, num, nums, parse, read, sameAs, set, set, set, set, set, set, setObject, similar, strings, toString, unknown, write

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

FONT

public static final java.lang.Object[] FONT

Default GUI Font.

MONOFONT

public static final java.lang.Object[] MONOFONT

Default GUI Monospace Font.

FONTTYPE

public static final java.lang.Object[] FONTTYPE

Font TYPE = plain, bold, italics).

FONTSIZE

public static final java.lang.Object[] FONTSIZE

Font size.

COLORRED

public static final java.lang.Object[] COLORRED

Red GUI color factor.

COLORGREEN

public static final java.lang.Object[] COLORGREEN

Green GUI color factor.

COLORBLUE

public static final java.lang.Object[] COLORBLUE

Blue GUI color factor.

GRADIENT

public static final java.lang.Object[] GRADIENT

Paint gradients as background.

GUISIZE

public static final java.lang.Object[] GUISIZE

GUI height.

GUILOC

public static final java.lang.Object[] GUILOC

GUI position.

MAXSTATE

public static final java.lang.Object[] MAXSTATE

Flag for maximized GUI window.

SHOWBUTTONS

public static final java.lang.Object[] SHOWBUTTONS

Flag for displaying buttons in the GUI window.

SHOWINPUT

public static final java.lang.Object[] SHOWINPUT

Flag for displaying the text field in the GUI window.

SHOWSTATUS

public static final java.lang.Object[] SHOWSTATUS

Flag for displaying the status bar in the GUI window.

VIEWS

public static final java.lang.Object[] VIEWS

GUI Layout.

SHOWINFO

public static final java.lang.Object[] SHOWINFO

Flag for activated info view.

SHOWMAP

public static final java.lang.Object[] SHOWMAP

Flag for activated map view.

SHOWTABLE

public static final java.lang.Object[] SHOWTABLE

Flag for activated table view.

SHOWTEXT

public static final java.lang.Object[] SHOWTEXT

Flag for activated result view.

SHOWFOLDER

public static final java.lang.Object[] SHOWFOLDER

Flag for activated tree view.

SHOWEXPLORE

public static final java.lang.Object[] SHOWEXPLORE

Flag for activated query view.

SHOWPLOT

public static final java.lang.Object[] SHOWPLOT

Flag for activated plot view.

SHOWEDITOR

public static final java.lang.Object[] SHOWEDITOR

Flag for activated xquery view.

SHOWTREE

public static final java.lang.Object[] SHOWTREE

Flag for activated tree view.

JAVALOOK

public static final java.lang.Object[] JAVALOOK

Flag for Java look and feel.

SHOWNAME

public static final java.lang.Object[] SHOWNAME

Flag for dissolving name attributes.

MOUSEFOCUS

public static final java.lang.Object[] MOUSEFOCUS

Focus follows mouse.

SIMPLEFD

public static final java.lang.Object[] SIMPLEFD

Flag for showing the simple file dialog.

SEARCHMODE

public static final java.lang.Object[] SEARCHMODE

Current input mode in global text field (Search, XQuery, Command).

FILTERRT

public static final java.lang.Object[] FILTERRT

Flag for realtime context filtering.

EXECRT

public static final java.lang.Object[] EXECRT

Flag for realtime query execution.

MAPATTS

public static final java.lang.Object[] MAPATTS

Show attributes in treemap.

MAPOFFSETS

public static final java.lang.Object[] MAPOFFSETS

Treemap Offsets.

MAPALGO

public static final java.lang.Object[] MAPALGO

Map algorithm.

MAPWEIGHT

public static final java.lang.Object[] MAPWEIGHT

number of children <-> size weight in (0;100).

TREESLIMS

public static final java.lang.Object[] TREESLIMS

Slim rectangles to text length.

TREEATTS

public static final java.lang.Object[] TREEATTS

Show attributes in treeview.

PLOTDOTS

public static final java.lang.Object[] PLOTDOTS

Dot sizes in plot.

PLOTXLOG

public static final java.lang.Object[] PLOTXLOG

Logarithmic plot.

PLOTYLOG

public static final java.lang.Object[] PLOTYLOG

Logarithmic plot.

MAPLAYOUTLOC

public static final java.lang.Object[] MAPLAYOUTLOC

Dialog location.

FONTSLOC

public static final java.lang.Object[] FONTSLOC

Dialog location.

COLORSLOC

public static final java.lang.Object[] COLORSLOC

Dialog location.

CREATEPATH

public static final java.lang.Object[] CREATEPATH

Path for creating new databases.

SAVEPATH

public static final java.lang.Object[] SAVEPATH

Path for creating new XML documents.

XQPATH

public static final java.lang.Object[] XQPATH

Path for XQuery files.

STOPPATH

public static final java.lang.Object[] STOPPATH

Path for stopwords.

PKGPATH

public static final java.lang.Object[] PKGPATH

Package path.

CREATENAME

public static final java.lang.Object[] CREATENAME

Name of new database.

LASTINSERT

public static final java.lang.Object[] LASTINSERT

Last insertion type.

COMMANDS

public static final java.lang.Object[] COMMANDS

Last command inputs.

SEARCH

public static final java.lang.Object[] SEARCH

Last keyword inputs.

XQUERY

public static final java.lang.Object[] XQUERY

Last XQuery inputs.

QUERIES

public static final java.lang.Object[] QUERIES

Last XQuery files.

UPDATEVERSION

public static final java.lang.Object[] UPDATEVERSION

Last updated version.

SERVERUSER

public static final java.lang.Object[] SERVERUSER

Server user.

MAXTEXT

public static final java.lang.Object[] MAXTEXT

Maximum text size to be displayed.

MAXHITS

public static final java.lang.Object[] MAXHITS

Maximum number of hits to be displayed (-1: return all hits; default: 250K).

Constructor Detail

GUIProp

public GUIProp()

Constructor.

Method Detail

recent

public void recent(IOFile file)

Refreshes the list of recent query files and updates the query path.

Parameters:

file - new file