X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=altosuilib%2FAltosUIPreferences.java;h=83099fa5fe5d907eea09938c5fed65636591b2ce;hb=d1af180c2d2a2caf1e13f00d83f2b86ba26de27f;hp=ecab20d4ee7e54846660002fe4a5775dad110b5d;hpb=ade2cc9abb8ca403a9ae5d1f9c145ab72ce94919;p=fw%2Faltos

diff --git a/altosuilib/AltosUIPreferences.java b/altosuilib/AltosUIPreferences.java
index ecab20d4..83099fa5 100644
--- a/altosuilib/AltosUIPreferences.java
+++ b/altosuilib/AltosUIPreferences.java
@@ -15,13 +15,13 @@
  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
  */
 
-package org.altusmetrum.altosuilib_3;
+package org.altusmetrum.altosuilib_9;
 
 import java.io.*;
 import java.util.*;
 import java.awt.Component;
 import javax.swing.*;
-import org.altusmetrum.altoslib_5.*;
+import org.altusmetrum.altoslib_9.*;
 
 public class AltosUIPreferences extends AltosPreferences {
 
@@ -55,10 +55,6 @@ public class AltosUIPreferences extends AltosPreferences {
 
 	public static int position = AltosUILib.position_top_left;
 
-	static LinkedList<AltosUIMapCacheListener> map_cache_listeners;
-
-	public static int map_cache = 9;
-
 	public static void init() {
 		AltosPreferences.init(new AltosUIPreferencesBackend());
 
@@ -75,9 +71,6 @@ public class AltosUIPreferences extends AltosPreferences {
 
 		position = backend.getInt(positionPreference, AltosUILib.position_top_left);
 		position_listeners = new LinkedList<AltosPositionListener>();
-
-		map_cache = backend.getInt(mapCachePreference, 9);
-		map_cache_listeners = new LinkedList<AltosUIMapCacheListener>();
 	}
 
 	static { init(); }
@@ -225,32 +218,4 @@ public class AltosUIPreferences extends AltosPreferences {
 			return position;
 		}
 	}
-
-	public static void register_map_cache_listener(AltosUIMapCacheListener l) {
-		synchronized(backend) {
-			map_cache_listeners.add(l);
-		}
-	}
-
-	public static void unregister_map_cache_listener(AltosUIMapCacheListener l) {
-		synchronized (backend) {
-			map_cache_listeners.remove(l);
-		}
-	}
-
-	public static void set_map_cache(int new_map_cache) {
-		synchronized(backend) {
-			map_cache = new_map_cache;
-			backend.putInt(mapCachePreference, map_cache);
-			flush_preferences();
-			for (AltosUIMapCacheListener l: map_cache_listeners)
-				l.map_cache_changed(map_cache);
-		}
-	}
-
-	public static int map_cache() {
-		synchronized(backend) {
-			return map_cache;
-		}
-	}
 }