|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object de.uni_tuebingen.sfb.lichtenstein.main.PreferenceKeys
public class PreferenceKeys
Contains the preferences and keys for MonaSearch.
Field Summary | |
---|---|
static String |
baseFileDirPrefKey
The key in the user preferences at which the precompiled tree banks and temporary files are stored. |
static String |
heightPrefKey
The preference key for the main window height. |
static String |
queriesFilePrefKey
The key in the user preferences at which the last used query file is stored. |
static String |
resultHeightPrefKey
The preference key for the result window height. |
static String |
resultsDirPrefKey
The preference key for the directory where the results are stored. |
static String |
resultWidthPrefKey
The preference key for the result window width. |
static String |
resultXPrefKey
The preference key for the result window x position. |
static String |
resultYPrefKey
The preference key for the result window y position. |
static String |
treebankPrefKey
The key in the user preferences at which the precompiled tree banks are stored. |
static Preferences |
userPrefs
The user preferences for MonaSearch, stored persistently. |
static String |
welcomePrefKey
The preference key for the welcome splash screen. |
static String |
widthPrefKey
The preference key for the main window width. |
static String |
xPrefKey
The preference key for the main window x position. |
static String |
yPrefKey
The preference key for the main window y position. |
Constructor Summary | |
---|---|
PreferenceKeys()
|
Method Summary |
---|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final Preferences userPrefs
public static final String welcomePrefKey
public static final String widthPrefKey
public static final String heightPrefKey
public static final String xPrefKey
public static final String yPrefKey
public static final String baseFileDirPrefKey
public static final String treebankPrefKey
public static final String queriesFilePrefKey
public static final String resultWidthPrefKey
public static final String resultHeightPrefKey
public static final String resultXPrefKey
public static final String resultYPrefKey
public static final String resultsDirPrefKey
Constructor Detail |
---|
public PreferenceKeys()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |