Ignore:
Timestamp:
2011-10-28T13:51:21+02:00 (13 years ago)
Author:
malcolmh
Message:

save

File:
1 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/smed/plugs/oseam/src/oseam/panels/PanelStbd.java

    r26972 r26977  
    44import java.awt.event.*;
    55import javax.swing.*;
     6
    67import java.util.*;
    78
     
    112113        }
    113114
     115        public void syncButtons() {
     116                for (Shp shp : shapes.keySet()) {
     117                        JRadioButton button = shapes.get(shp);
     118                        if (dlg.mark.getShape() == shp) {
     119                                button.setBorderPainted(true);
     120                        } else
     121                                button.setBorderPainted(false);
     122                }
     123        }
     124       
    114125        private JRadioButton getShapeButton(JRadioButton button, int x, int y, int w, int h, String tip, Shp shp, Obj obj) {
    115126                button.setBounds(new Rectangle(x, y, w, h));
Note: See TracChangeset for help on using the changeset viewer.