textbender.g.util.prefs
Class IntegerPreferenceDC
java.lang.Object
Preference
IntegerPreference
IntegerPreferenceDC
public class IntegerPreferenceDC
- extends IntegerPreference
A default-clear integer preference.
It is removed when it matches the default, rather than stored.
Method Summary |
void |
put(int value)
Stores a new value for the preference, or removes it if it matches the default. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
IntegerPreferenceDC
public IntegerPreferenceDC(Preferences preferences,
String key,
int def)
- Creates an IntegerPreferenceDC.
- Parameters:
preferences
- per preferences()key
- per key()def
- default per getDefault()
put
public void put(int value)
- Stores a new value for the preference, or removes it if it matches the default.
- Overrides:
put
in class IntegerPreference
- Parameters:
value
- new value of the preference