public final class GUIProp extends AProp
| 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.
|
| Constructor and Description |
|---|
GUIProp()
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
void |
recent(IOFile file)
Refreshes the list of recent query files and updates the query path.
|
public static final java.lang.Object[] FONT
public static final java.lang.Object[] MONOFONT
public static final java.lang.Object[] FONTTYPE
public static final java.lang.Object[] FONTSIZE
public static final java.lang.Object[] COLORRED
public static final java.lang.Object[] COLORGREEN
public static final java.lang.Object[] COLORBLUE
public static final java.lang.Object[] GRADIENT
public static final java.lang.Object[] GUISIZE
public static final java.lang.Object[] GUILOC
public static final java.lang.Object[] MAXSTATE
public static final java.lang.Object[] SHOWBUTTONS
public static final java.lang.Object[] SHOWINPUT
public static final java.lang.Object[] SHOWSTATUS
public static final java.lang.Object[] VIEWS
public static final java.lang.Object[] SHOWINFO
public static final java.lang.Object[] SHOWMAP
public static final java.lang.Object[] SHOWTABLE
public static final java.lang.Object[] SHOWTEXT
public static final java.lang.Object[] SHOWFOLDER
public static final java.lang.Object[] SHOWEXPLORE
public static final java.lang.Object[] SHOWPLOT
public static final java.lang.Object[] SHOWEDITOR
public static final java.lang.Object[] SHOWTREE
public static final java.lang.Object[] JAVALOOK
public static final java.lang.Object[] SHOWNAME
public static final java.lang.Object[] MOUSEFOCUS
public static final java.lang.Object[] SIMPLEFD
public static final java.lang.Object[] SEARCHMODE
public static final java.lang.Object[] FILTERRT
public static final java.lang.Object[] EXECRT
public static final java.lang.Object[] MAPATTS
public static final java.lang.Object[] MAPOFFSETS
public static final java.lang.Object[] MAPALGO
public static final java.lang.Object[] MAPWEIGHT
public static final java.lang.Object[] TREESLIMS
public static final java.lang.Object[] TREEATTS
public static final java.lang.Object[] PLOTDOTS
public static final java.lang.Object[] PLOTXLOG
public static final java.lang.Object[] PLOTYLOG
public static final java.lang.Object[] MAPLAYOUTLOC
public static final java.lang.Object[] FONTSLOC
public static final java.lang.Object[] COLORSLOC
public static final java.lang.Object[] CREATEPATH
public static final java.lang.Object[] SAVEPATH
public static final java.lang.Object[] XQPATH
public static final java.lang.Object[] STOPPATH
public static final java.lang.Object[] PKGPATH
public static final java.lang.Object[] CREATENAME
public static final java.lang.Object[] LASTINSERT
public static final java.lang.Object[] COMMANDS
public static final java.lang.Object[] SEARCH
public static final java.lang.Object[] XQUERY
public static final java.lang.Object[] QUERIES
public static final java.lang.Object[] UPDATEVERSION
public static final java.lang.Object[] SERVERUSER
public static final java.lang.Object[] MAXTEXT
public static final java.lang.Object[] MAXHITS
public void recent(IOFile file)
file - new file