}
public String getString(String key, String def) {
- return _preferences.get(key, def)
+ return _preferences.get(key, def);
}
public void putString(String key, String value) {
_preferences.put(key, value);
return new AltosUIPreferencesBackend(_preferences.node(key));
}
+ public String[] keys() {
+ return _preferences.keys();
+ }
+
+ public void remove(String key) {
+ _preferences.remove(key);
+ }
+
public void flush() {
try {
_preferences.flush();
}
}
-}
\ No newline at end of file
+}