diff options
Diffstat (limited to 'altosui/AltosUIPreferencesBackend.java')
| -rw-r--r-- | altosui/AltosUIPreferencesBackend.java | 8 | 
1 files changed, 8 insertions, 0 deletions
| diff --git a/altosui/AltosUIPreferencesBackend.java b/altosui/AltosUIPreferencesBackend.java index 16844f37..2b2769c2 100644 --- a/altosui/AltosUIPreferencesBackend.java +++ b/altosui/AltosUIPreferencesBackend.java @@ -73,6 +73,14 @@ public class AltosUIPreferencesBackend implements AltosPreferencesBackend {  		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(); | 
