public enum Pref extends java.lang.Enum<Pref>
enum
s 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