Changeset 26977 in osm for applications/editors/josm/plugins/smed/plugs/oseam/src/oseam/panels/PanelPort.java

Timestamp:

2011-10-28T13:51:21+02:00 (14 years ago)

Author:

malcolmh

Message:

save

File:

• applications/editors/josm/plugins/smed/plugs/oseam/src/oseam/panels/PanelPort.java (modified) (2 diffs)

applications/editors/josm/plugins/smed/plugs/oseam/src/oseam/panels/PanelPort.java

@@ -4 +4 @@
 import java.awt.event.*;
 import javax.swing.*;
+
 import java.util.*;
 
@@ -112 +113 @@
         }
 
+        public void syncButtons() {
+                for (Shp shp : shapes.keySet()) {
+                        JRadioButton button = shapes.get(shp);
+                        if (dlg.mark.getShape() == shp) {
+                                button.setBorderPainted(true);
+                        } else
+                                button.setBorderPainted(false);
+                }
+        }
+        
         private JRadioButton getShapeButton(JRadioButton button, int x, int y, int w, int h, String tip, Shp shp, Obj obj) {
                 button.setBounds(new Rectangle(x, y, w, h));