org.basex.gui
Class GUIProp

java.lang.Object
  extended by org.basex.core.AProp
      extended by 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
static java.lang.Object[] C_HISTORY
          Comment: written to property file.
static java.lang.Object[] C_LAYOUT
          Comment: written to property file.
static java.lang.Object[] C_PATHS
          Comment: written to property file.
static java.lang.Object[] C_SEARCH
          Comment: written to property file.
static java.lang.Object[] C_SERVER
          Comment: written to property file.
static java.lang.Object[] C_VISUALIZATIONS
          Comment: written to property file.
static java.lang.Object[] C_WINDOWS
          Comment: written to property file.
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[] DATAPATH
          Path for additional material.
static java.lang.Object[] DBNAME
          Name of new database.
static java.lang.Object[] EDITOR
          Last editor files.
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[] INPUTPATH
          Path to database input.
static java.lang.Object[] INPUTS
          Input paths.
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[] PLOTDOTS
          Dot sizes in plot.
static java.lang.Object[] PLOTXLOG
          Logarithmic plot.
static java.lang.Object[] PLOTYLOG
          Logarithmic plot.
static java.lang.Object[] REPLACED
          Last replaced strings.
static java.lang.Object[] S_EVENTPORT
          Server: port, used for sending events.
static java.lang.Object[] S_HOST
          Server: host, used for connecting new clients.
static java.lang.Object[] S_PASSWORD
          Default password.
static java.lang.Object[] S_PORT
          Server: port, used for connecting new clients.
static java.lang.Object[] S_SERVERPORT
          Server: port, used for binding the server.
static java.lang.Object[] S_USER
          Default user.
static java.lang.Object[] SEARCH
          Last keyword inputs.
static java.lang.Object[] SEARCHED
          Last searched strings.
static java.lang.Object[] SEARCHMODE
          Current input mode in global text field (Search, XQuery, Command).
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[] SR_CASE
          Match case.
static java.lang.Object[] SR_MULTI
          Multi-line mode.
static java.lang.Object[] SR_REGEX
          Regular expressions.
static java.lang.Object[] SR_REPLACE
          Replace text.
static java.lang.Object[] SR_SEARCH
          Search text.
static java.lang.Object[] SR_WORD
          Whole word.
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[] WORKPATH
          Path to working directory.
static java.lang.Object[] XQUERY
          Last XQuery inputs.
 
Fields inherited from class org.basex.core.AProp
props
 
Constructor Summary
GUIProp()
          Constructor.
 
Method Summary
 
Methods inherited from class org.basex.core.AProp
get, get, getSystem, getSystem, invert, is, iterator, num, nums, parse, props, sameAs, set, set, set, set, set, set, setObject, setSystem, setSystem, setSystem, similar, strings, toString, unknown, write
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

C_PATHS

public static final java.lang.Object[] C_PATHS
Comment: written to property file.


INPUTPATH

public static final java.lang.Object[] INPUTPATH
Path to database input.


DATAPATH

public static final java.lang.Object[] DATAPATH
Path for additional material.


WORKPATH

public static final java.lang.Object[] WORKPATH
Path to working directory.


EDITOR

public static final java.lang.Object[] EDITOR
Last editor files.


INPUTS

public static final java.lang.Object[] INPUTS
Input paths.


C_LAYOUT

public static final java.lang.Object[] C_LAYOUT
Comment: written to property file.


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.


C_WINDOWS

public static final java.lang.Object[] C_WINDOWS
Comment: written to property file.


UPDATEVERSION

public static final java.lang.Object[] UPDATEVERSION
Last updated version.


VIEWS

public static final java.lang.Object[] VIEWS
GUI Layout.


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.


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.


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.


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.


DBNAME

public static final java.lang.Object[] DBNAME
Name of new database.


LASTINSERT

public static final java.lang.Object[] LASTINSERT
Last insertion type.


C_SERVER

public static final java.lang.Object[] C_SERVER
Comment: written to property file.


S_HOST

public static final java.lang.Object[] S_HOST
Server: host, used for connecting new clients.


S_PORT

public static final java.lang.Object[] S_PORT
Server: port, used for connecting new clients.


S_SERVERPORT

public static final java.lang.Object[] S_SERVERPORT
Server: port, used for binding the server.


S_EVENTPORT

public static final java.lang.Object[] S_EVENTPORT
Server: port, used for sending events.


S_USER

public static final java.lang.Object[] S_USER
Default user.


S_PASSWORD

public static final java.lang.Object[] S_PASSWORD
Default password.


C_VISUALIZATIONS

public static final java.lang.Object[] C_VISUALIZATIONS
Comment: written to property file.


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.


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).


C_SEARCH

public static final java.lang.Object[] C_SEARCH
Comment: written to property file.


SR_SEARCH

public static final java.lang.Object[] SR_SEARCH
Search text.


SR_REPLACE

public static final java.lang.Object[] SR_REPLACE
Replace text.


SR_REGEX

public static final java.lang.Object[] SR_REGEX
Regular expressions.


SR_CASE

public static final java.lang.Object[] SR_CASE
Match case.


SR_WORD

public static final java.lang.Object[] SR_WORD
Whole word.


SR_MULTI

public static final java.lang.Object[] SR_MULTI
Multi-line mode.


SEARCHED

public static final java.lang.Object[] SEARCHED
Last searched strings.


REPLACED

public static final java.lang.Object[] REPLACED
Last replaced strings.


C_HISTORY

public static final java.lang.Object[] C_HISTORY
Comment: written to property file.


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.

Constructor Detail

GUIProp

public GUIProp()
Constructor.