+++ /dev/null
-/*
- * Copyright © 2014 Keith Packard <keithp@keithp.com>
- *
- * This program is free software; you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation; either version 2 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful, but
- * WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
- * General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License along
- * with this program; if not, write to the Free Software Foundation, Inc.,
- * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
- */
-package org.altusmetrum.AltosDroid;
-
-import java.io.*;
-import java.util.*;
-import java.text.*;
-
-import android.content.Context;
-import org.altusmetrum.altoslib_13.*;
-
-public class AltosDroidPreferences extends AltosPreferences {
-
- /* Active device preference name */
- final static String activeDeviceAddressPreference = "ACTIVE-DEVICE-ADDRESS";
- final static String activeDeviceNamePreference = "ACTIVE-DEVICE-NAME";
-
- static DeviceAddress active_device_address;
-
- /* Map source preference name */
- final static String mapSourcePreference = "MAP-SOURCE";
-
- static final int MAP_SOURCE_OFFLINE = 0;
- static final int MAP_SOURCE_ONLINE = 1;
-
- static int map_source;
-
- public static void init(Context context) {
- if (backend != null)
- return;
-
- AltosPreferences.init(new AltosDroidPreferencesBackend(context));
-
- String address = backend.getString(activeDeviceAddressPreference, null);
- String name = backend.getString(activeDeviceNamePreference, null);
-
- if (address != null && name != null)
- active_device_address = new DeviceAddress (address, name);
-
- map_source = backend.getInt(mapSourcePreference, MAP_SOURCE_ONLINE);
- }
-
- public static void set_active_device(DeviceAddress address) {
- synchronized(backend) {
- active_device_address = address;
- if (active_device_address != null) {
- backend.putString(activeDeviceAddressPreference, active_device_address.address);
- backend.putString(activeDeviceNamePreference, active_device_address.name);
- } else {
- backend.remove(activeDeviceAddressPreference);
- backend.remove(activeDeviceNamePreference);
- }
- flush_preferences();
- }
- }
-
- public static DeviceAddress active_device() {
- synchronized(backend) {
- return active_device_address;
- }
- }
-
- static LinkedList<AltosDroidMapSourceListener> map_source_listeners;
-
- public static void set_map_source(int map_source) {
- synchronized(backend) {
- AltosDroidPreferences.map_source = map_source;
- backend.putInt(mapSourcePreference, map_source);
- flush_preferences();
- }
- if (map_source_listeners != null) {
- for (AltosDroidMapSourceListener l : map_source_listeners) {
- l.map_source_changed(map_source);
- }
- }
- }
-
- public static int map_source() {
- synchronized(backend) {
- return map_source;
- }
- }
-
- public static void register_map_source_listener(AltosDroidMapSourceListener l) {
- synchronized(backend) {
- if (map_source_listeners == null)
- map_source_listeners = new LinkedList<AltosDroidMapSourceListener>();
- map_source_listeners.add(l);
- }
- }
-
- public static void unregister_map_source_listener(AltosDroidMapSourceListener l) {
- synchronized(backend) {
- map_source_listeners.remove(l);
- }
- }
-}