X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=altosuilib%2FAltosUIEnable.java;h=3806930171b7513a2221059576043448cc97717f;hb=ff3a2de3223f5cf3fd87f40cd9961e2c2890a867;hp=ed1e6c53b87b029eb4658bde94f7d02310c10902;hpb=2f779d318753b73463f7166977453ab5533e5921;p=fw%2Faltos

diff --git a/altosuilib/AltosUIEnable.java b/altosuilib/AltosUIEnable.java
index ed1e6c53..38069301 100644
--- a/altosuilib/AltosUIEnable.java
+++ b/altosuilib/AltosUIEnable.java
@@ -16,7 +16,7 @@
  * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
  */
 
-package org.altusmetrum.altosuilib_12;
+package org.altusmetrum.altosuilib_14;
 
 import java.awt.*;
 import java.awt.event.*;
@@ -25,7 +25,7 @@ import javax.swing.event.*;
 import java.io.*;
 import java.util.concurrent.*;
 import java.util.*;
-import org.altusmetrum.altoslib_12.*;
+import org.altusmetrum.altoslib_14.*;
 
 import org.jfree.ui.*;
 import org.jfree.chart.*;
@@ -44,6 +44,8 @@ public class AltosUIEnable extends Container implements ChangeListener {
 	int		x;
 	JCheckBox	imperial_units;
 	JCheckBox	show_shapes;
+	JLabel		line_width_label;
+	JSpinner	line_width;
 	JLabel		speed_filter_label;
 	JSlider		speed_filter;
 	JLabel		accel_filter_label;
@@ -114,11 +116,15 @@ public class AltosUIEnable extends Container implements ChangeListener {
 	}
 
 	public void set_shapes_visible(boolean visible) {
-		System.out.printf("set shapes %b\n", visible);
 		if (shape_listener != null)
 			shape_listener.set_shapes_visible(visible);
 	}
 
+	public void set_line_width(float width) {
+		if (shape_listener != null)
+			shape_listener.set_line_width(width);
+	}
+
 	public void register_shape_listener(AltosShapeListener shape_listener) {
 		this.shape_listener = shape_listener;
 	}
@@ -160,6 +166,33 @@ public class AltosUIEnable extends Container implements ChangeListener {
 		add(show_shapes, c);
 
 
+		line_width_label = new JLabel("Line Width");
+		c = new GridBagConstraints();
+		c.gridx = 1; c.gridy = 1001;
+		c.fill = GridBagConstraints.NONE;
+		c.anchor = GridBagConstraints.LINE_START;
+		c.insets = il;
+		add(line_width_label, c);
+
+		line_width = new JSpinner();
+		line_width.setValue(1);
+		line_width.addChangeListener(new ChangeListener() {
+				public void stateChanged(ChangeEvent e) {
+					int w = (Integer) line_width.getValue();
+					if (w < 1) {
+						w = 1;
+						line_width.setValue(w);
+					}
+					set_line_width(w);
+				}
+			});
+		c = new GridBagConstraints();
+		c.gridx = 2; c.gridy = 1001;
+		c.fill = GridBagConstraints.NONE;
+		c.anchor = GridBagConstraints.LINE_START;
+		c.insets = il;
+		add(line_width, c);
+
 		speed_filter_label = new JLabel("Speed Filter(ms)");
 		c = new GridBagConstraints();
 		c.gridx = 0; c.gridy = 1002;
@@ -171,7 +204,7 @@ public class AltosUIEnable extends Container implements ChangeListener {
 		speed_filter = new JSlider(JSlider.HORIZONTAL, 0, 10000, (int) (filter_listener.speed_filter() * 1000.0));
 		Hashtable<Integer,JLabel> label_table = new Hashtable<Integer,JLabel>();
 		for (int i = 0; i <= 10000; i += 5000) {
-			label_table.put(new Integer(i), new JLabel(String.format("%d", i)));
+			label_table.put(i, new JLabel(String.format("%d", i)));
 		}
 		speed_filter.setPaintTicks(true);
 		speed_filter.setMajorTickSpacing(1000);