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

diff --git a/altosui/AltosUIPreferencesBackend.java b/altosui/AltosUIPreferencesBackend.java
index 16844f37..1988e0b4 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,17 @@ public class AltosUIPreferencesBackend implements AltosPreferencesBackend {
 		return new AltosUIPreferencesBackend(_preferences.node(key));
 	}
 
+	public String[] keys() {
+		try {
+			return _preferences.keys();
+		} catch (BackingStoreException be) {
+		}
+	}
+
+	public void remove(String key) {
+		_preferences.remove(key);
+	}
+
 	public void    flush() {
 		try {
 			_preferences.flush();
@@ -81,4 +92,4 @@ public class AltosUIPreferencesBackend implements AltosPreferencesBackend {
 		}
 	}
 
-}
\ No newline at end of file
+}