altosuilib: Make map cache size configurable

Systems with sufficient memory can get smoother map scrolling by
making the cache larger. Would be nice to do this automatically?

Signed-off-by: Keith Packard <keithp@keithp.com>

1 files changed, 26 insertions, 0 deletions

diff --git a/altosuilib/AltosUIConfigure.java b/altosuilib/AltosUIConfigure.java
index 9d54cfe5..5ab615e8 100644
--- a/altosuilib/AltosUIConfigure.java
+++ b/altosuilib/AltosUIConfigure.java
@@ -223,6 +223,31 @@ public class AltosUIConfigure
 		row++;
 	}
 
+	static final Integer map_caches[] = { 9, 25, 100 };
+
+	public void add_map_cache() {
+		pane.add(new JLabel("Map Cache Size"), constraints(0, 1));
+
+		final JComboBox<Integer> map_cache = new JComboBox<Integer>(map_caches);
+
+		map_cache.setEditable(true);
+		map_cache.addActionListener(new ActionListener() {
+				public void actionPerformed(ActionEvent e) {
+					try {
+						int	size = (Integer) (map_cache.getSelectedItem());
+
+						AltosUIPreferences.set_map_cache(size);
+					} catch (ClassCastException ce) {
+						map_cache.setSelectedItem(new Integer(AltosUIPreferences.map_cache()));
+					}
+				}
+			});
+
+		map_cache.setSelectedItem (new Integer(AltosUIPreferences.map_cache()));
+		pane.add(map_cache, constraints(1, 2, GridBagConstraints.BOTH));
+		row++;
+	}
+
 	public void add_bluetooth() {
 	}
 
@@ -255,6 +280,7 @@ public class AltosUIConfigure
 		add_font_size();
 		add_look_and_feel();
 		add_position();
+		add_map_cache();
 		add_bluetooth();
 		add_frequencies();