diff options
| -rw-r--r-- | altosdroid/src/org/altusmetrum/AltosDroid/AltosDroidPreferences.java | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/altosdroid/src/org/altusmetrum/AltosDroid/AltosDroidPreferences.java b/altosdroid/src/org/altusmetrum/AltosDroid/AltosDroidPreferences.java index 28ecc182..b8487d07 100644 --- a/altosdroid/src/org/altusmetrum/AltosDroid/AltosDroidPreferences.java +++ b/altosdroid/src/org/altusmetrum/AltosDroid/AltosDroidPreferences.java @@ -38,19 +38,15 @@ public class AltosDroidPreferences implements AltosPreferencesBackend { editor = prefs.edit(); } - public AltosPreferencesBackend node(String key) { - return new AltosDroidPreferences(context, key); - } - - public void flush() { - editor.apply(); - } - public String[] keys() { Map<String, ?> all = prefs.getAll(); return (String[])all.keySet().toArray(); } + public AltosPreferencesBackend node(String key) { + return new AltosDroidPreferences(context, key); + } + public boolean nodeExists(String key) { return prefs.contains(key); } @@ -92,4 +88,8 @@ public class AltosDroidPreferences implements AltosPreferencesBackend { editor.remove(key); } + public void flush() { + editor.apply(); + } + } |