package altosui;
-import java.text.*;
import java.util.prefs.*;
import org.altusmetrum.AltosLib.*;
}
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() {
+ try {
+ return _preferences.keys();
+ } catch (BackingStoreException be) {
+ return null;
+ }
+ }
+
+ public void remove(String key) {
+ _preferences.remove(key);
+ }
+
public void flush() {
try {
_preferences.flush();
}
}
-}
\ No newline at end of file
+}