X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=blobdiff_plain;f=altosuilib%2FAltosUIEnable.java;fp=altosuilib%2FAltosUIEnable.java;h=0cb562d22c40ecf72903d3a79c7da6e91f1c7450;hp=ef9a692a62a47ce07339378d6dc92e6d64e53b19;hb=95fe82630797bae5a9a7ffacc871bbd00efe2d82;hpb=76c5e6bf7ecc30ae77a9744a4af26dca3dc46254 diff --git a/altosuilib/AltosUIEnable.java b/altosuilib/AltosUIEnable.java index ef9a692a..0cb562d2 100644 --- a/altosuilib/AltosUIEnable.java +++ b/altosuilib/AltosUIEnable.java @@ -175,15 +175,14 @@ public class AltosUIEnable extends Container implements ChangeListener { add(line_width_label, c); line_width = new JSpinner(); - line_width.setValue(new Integer(1)); + 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(new Integer(w)); + line_width.setValue(w); } - System.out.printf("line width set to %d\n", w); set_line_width(w); } }); @@ -205,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 label_table = new Hashtable(); 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);