public enum Pref extends java.lang.Enum<Pref>
enums hold some application default values.
These defaults can be changed by using the
PreferencesWindow, available after calling
the Preferences menu item in the
MainWindow.
Alternatively, the preferences can be set by hand editing the application
specific section of the Preferences file.
This resides in an OS dependent location, see
Preferences for more on this.
PreferencesWindow,
MainWindow,
Preferences,
Separator| Enum Constant and Description |
|---|
AUTOSAVE |
DATA_AS_FLOAT |
NR_THREADS |
SEPARATOR |
| Modifier and Type | Field and Description |
|---|---|
java.lang.String |
DEFAULT
The default value of the
Pref. |
java.lang.String |
NAME
The name of the
Pref. |
| Modifier and Type | Method and Description |
|---|---|
static Pref |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static Pref[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Pref AUTOSAVE
public static final Pref SEPARATOR
public static final Pref NR_THREADS
public static final Pref DATA_AS_FLOAT
public final java.lang.String NAME
Pref.public final java.lang.String DEFAULT
Pref.public static Pref[] values()
for (Pref c : Pref.values()) System.out.println(c);
public static Pref valueOf(java.lang.String name)
name - the name of the enum constant to be returned.java.lang.IllegalArgumentException - if this enum type has no constant
with the specified namejava.lang.NullPointerException - if the argument is null