X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=blobdiff_plain;f=altosui%2FAltosUIPreferencesBackend.java;h=69485ba48725e9c1902f6d75187f70b0f1a03a74;hp=16844f378cc5679c41ff92530aeb378f415fef03;hb=26c83bc0981036651a89c29771b2ad52c8fb0396;hpb=ec036e8fe057f4b641ba9ee17d6dce2689816047

diff --git a/altosui/AltosUIPreferencesBackend.java b/altosui/AltosUIPreferencesBackend.java
index 16844f37..69485ba4 100644
--- a/altosui/AltosUIPreferencesBackend.java
+++ b/altosui/AltosUIPreferencesBackend.java
@@ -34,7 +34,7 @@ public class AltosUIPreferencesBackend implements AltosPreferencesBackend {
 	}
 
 	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);
@@ -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();
@@ -81,4 +89,4 @@ public class AltosUIPreferencesBackend implements AltosPreferencesBackend {
 		}
 	}
 
-}
\ No newline at end of file
+}