public class UserOptions
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
DRAW_ALWAYS |
static java.lang.String |
DRAW_NEVER |
static java.lang.String |
DRAW_PROMPT |
java.lang.String |
drawStructures |
static java.util.HashMap<java.lang.String,java.lang.String> |
overrides |
private java.util.prefs.Preferences |
prefs |
boolean |
useNativeLAF |
boolean |
useNativeMenus |
Constructor and Description |
---|
UserOptions() |
Modifier and Type | Method and Description |
---|---|
private java.lang.String |
get(java.util.prefs.Preferences prefs,
java.lang.String name,
java.lang.String defaultValue) |
void |
load(java.util.prefs.Preferences prefs) |
static void |
override(java.lang.String name,
java.lang.String value) |
private boolean |
put(java.util.prefs.Preferences prefs,
java.lang.String name,
java.lang.String value) |
void |
save() |
void |
save(java.util.prefs.Preferences prefs) |
public static final java.lang.String DRAW_ALWAYS
public static final java.lang.String DRAW_NEVER
public static final java.lang.String DRAW_PROMPT
public java.lang.String drawStructures
public static java.util.HashMap<java.lang.String,java.lang.String> overrides
private java.util.prefs.Preferences prefs
public boolean useNativeLAF
public boolean useNativeMenus
private java.lang.String get(java.util.prefs.Preferences prefs, java.lang.String name, java.lang.String defaultValue)
public void load(java.util.prefs.Preferences prefs)
public static void override(java.lang.String name, java.lang.String value)
private boolean put(java.util.prefs.Preferences prefs, java.lang.String name, java.lang.String value)
public void save()
public void save(java.util.prefs.Preferences prefs)