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

diff --git a/altosui/AltosUIPreferencesBackend.java b/altosui/AltosUIPreferencesBackend.java
index 16844f37..210dcb8b 100644
--- a/altosui/AltosUIPreferencesBackend.java
+++ b/altosui/AltosUIPreferencesBackend.java
@@ -17,7 +17,6 @@
 
 package altosui;
 
-import java.text.*;
 import java.util.prefs.*;
 import org.altusmetrum.AltosLib.*;
 
@@ -34,7 +33,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 +72,18 @@ public class AltosUIPreferencesBackend implements AltosPreferencesBackend {
 		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();
@@ -81,4 +92,4 @@ public class AltosUIPreferencesBackend implements AltosPreferencesBackend {
 		}
 	}
 
-}
\ No newline at end of file
+}