Ignore:
Timestamp:
2010-12-12T22:04:28+01:00 (14 years ago)
Author:
malcolmh
Message:

button select borders

Location:
applications/editors/josm/plugins/smed/plugs/oseam/src/oseam/panels
Files:
9 edited

Legend:

Unmodified
Added
Removed

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

    r24658 r24724  
    7777                        public void actionPerformed(java.awt.event.ActionEvent e) {
    7878                                if (portButton.isSelected()) {
    79                                         portButton.setEnabled(false);
     79                                        portButton.setBorderPainted(true);
    8080                                        panelPort.setVisible(true);
    8181                                } else {
    82                                         portButton.setEnabled(true);
     82                                        portButton.setBorderPainted(false);
    8383                                        panelPort.setVisible(false);
    8484                                }
    8585                                if (stbdButton.isSelected()) {
    86                                         stbdButton.setEnabled(false);
     86                                        stbdButton.setBorderPainted(true);
    8787                                        panelStbd.setVisible(true);
    8888                                } else {
    89                                         stbdButton.setEnabled(true);
     89                                        stbdButton.setBorderPainted(false);
    9090                                        panelStbd.setVisible(false);
    9191                                }
    9292                                if (prefPortButton.isSelected()) {
    93                                         prefPortButton.setEnabled(false);
     93                                        prefPortButton.setBorderPainted(true);
    9494                                        panelPrefPort.setVisible(true);
    9595                                } else {
    96                                         prefPortButton.setEnabled(true);
     96                                        prefPortButton.setBorderPainted(false);
    9797                                        panelPrefPort.setVisible(false);
    9898                                }
    9999                                if (prefStbdButton.isSelected()) {
    100                                         prefStbdButton.setEnabled(false);
     100                                        prefStbdButton.setBorderPainted(true);
    101101                                        panelPrefStbd.setVisible(true);
    102102                                } else {
    103                                         prefStbdButton.setEnabled(true);
     103                                        prefStbdButton.setBorderPainted(false);
    104104                                        panelPrefStbd.setVisible(false);
    105105                                }
    106106                                if (safeWaterButton.isSelected()) {
    107                                         safeWaterButton.setEnabled(false);
     107                                        safeWaterButton.setBorderPainted(true);
    108108                                        panelSafeWater.setVisible(true);
    109109                                } else {
    110                                         safeWaterButton.setEnabled(true);
     110                                        safeWaterButton.setBorderPainted(false);
    111111                                        panelSafeWater.setVisible(false);
    112112                                }
    … …  
    124124                        portButton = new JRadioButton(new ImageIcon(getClass().getResource(
    125125                                        "/images/PortButton.png")));
    126                         portButton.setBounds(new Rectangle(0, 0, 55, 32));
     126                        portButton.setBounds(new Rectangle(0, 0, 52, 32));
     127                        portButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    127128                        portButton.setToolTipText(Messages.getString("PortTip"));
    128129                }
    … …  
    134135                        stbdButton = new JRadioButton(new ImageIcon(getClass().getResource(
    135136                                        "/images/StbdButton.png")));
    136                         stbdButton.setBounds(new Rectangle(0, 32, 55, 32));
     137                        stbdButton.setBounds(new Rectangle(0, 32, 52, 32));
     138                        stbdButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    137139                        stbdButton.setToolTipText(Messages.getString("StbdTip"));
    138140                }
    … …  
    144146                        prefPortButton = new JRadioButton(new ImageIcon(getClass()
    145147                                        .getResource("/images/PrefPortButton.png")));
    146                         prefPortButton.setBounds(new Rectangle(0, 64, 55, 32));
     148                        prefPortButton.setBounds(new Rectangle(0, 64, 52, 32));
     149                        prefPortButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    147150                        prefPortButton.setToolTipText(Messages.getString("PrefPortTip"));
    148151                }
    … …  
    154157                        prefStbdButton = new JRadioButton(new ImageIcon(getClass()
    155158                                        .getResource("/images/PrefStbdButton.png")));
    156                         prefStbdButton.setBounds(new Rectangle(0, 96, 55, 32));
     159                        prefStbdButton.setBounds(new Rectangle(0, 96, 52, 32));
     160                        prefStbdButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    157161                        prefStbdButton.setToolTipText(Messages.getString("PrefStbdTip"));
    158162                }
    … …  
    164168                        safeWaterButton = new JRadioButton(new ImageIcon(getClass()
    165169                                        .getResource("/images/SafeWaterButton.png")));
    166                         safeWaterButton.setBounds(new Rectangle(0, 128, 55, 32));
     170                        safeWaterButton.setBounds(new Rectangle(0, 128, 52, 32));
     171                safeWaterButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    167172                        safeWaterButton.setToolTipText(Messages.getString("SafeWaterTip"));
    168173                }

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

    r24695 r24724  
    5858                ActionListener alCat = new ActionListener() {
    5959                        public void actionPerformed(java.awt.event.ActionEvent e) {
    60                                 northButton.setEnabled(!northButton.isSelected());
    61                                 southButton.setEnabled(!southButton.isSelected());
    62                                 eastButton.setEnabled(!eastButton.isSelected());
    63                                 westButton.setEnabled(!westButton.isSelected());
    64                                 isolButton.setEnabled(!isolButton.isSelected());
     60                                northButton.setBorderPainted(northButton.isSelected());
     61                                southButton.setBorderPainted(southButton.isSelected());
     62                                eastButton.setBorderPainted(eastButton.isSelected());
     63                                westButton.setBorderPainted(westButton.isSelected());
     64                                isolButton.setBorderPainted(isolButton.isSelected());
    6565                        }
    6666                };
    … …  
    8484                ActionListener alShape = new ActionListener() {
    8585                        public void actionPerformed(java.awt.event.ActionEvent e) {
    86                                 pillarButton.setEnabled(!pillarButton.isSelected());
    87                                 sparButton.setEnabled(!sparButton.isSelected());
    88                                 floatButton.setEnabled(!floatButton.isSelected());
    89                                 beaconButton.setEnabled(!beaconButton.isSelected());
    90                                 towerButton.setEnabled(!towerButton.isSelected());
     86                                pillarButton.setBorderPainted(pillarButton.isSelected());
     87                                sparButton.setBorderPainted(sparButton.isSelected());
     88                                floatButton.setBorderPainted(floatButton.isSelected());
     89                                beaconButton.setBorderPainted(beaconButton.isSelected());
     90                                towerButton.setBorderPainted(towerButton.isSelected());
    9191                        }
    9292                };
    … …  
    102102                        northButton = new JRadioButton(new ImageIcon(getClass()
    103103                                        .getResource("/images/CardNButton.png")));
    104                         northButton.setBounds(new Rectangle(0, 0, 55, 32));
     104                        northButton.setBounds(new Rectangle(0, 0, 52, 32));
     105                northButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    105106                        northButton.setToolTipText(Messages.getString("NorthTip"));
    106107                }
    … …  
    112113                        southButton = new JRadioButton(new ImageIcon(getClass()
    113114                                        .getResource("/images/CardSButton.png")));
    114                         southButton.setBounds(new Rectangle(0, 32, 55, 32));
     115                        southButton.setBounds(new Rectangle(0, 32, 52, 32));
     116                southButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    115117                        southButton.setToolTipText(Messages.getString("SouthTip"));
    116118                }
    … …  
    122124                        eastButton = new JRadioButton(new ImageIcon(getClass().getResource(
    123125                                        "/images/CardEButton.png")));
    124                         eastButton.setBounds(new Rectangle(0, 64, 55, 32));
     126                        eastButton.setBounds(new Rectangle(0, 64, 52, 32));
     127                eastButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    125128                        eastButton.setToolTipText(Messages.getString("EastTip"));
    126129                }
    … …  
    132135                        westButton = new JRadioButton(new ImageIcon(getClass().getResource(
    133136                                        "/images/CardWButton.png")));
    134                         westButton.setBounds(new Rectangle(0, 96, 55, 32));
     137                        westButton.setBounds(new Rectangle(0, 96, 52, 32));
     138                westButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    135139                        westButton.setToolTipText(Messages.getString("WestTip"));
    136140                }
    … …  
    142146                        isolButton = new JRadioButton(new ImageIcon(getClass().getResource(
    143147                                        "/images/IsolButton.png")));
    144                         isolButton.setBounds(new Rectangle(0, 128, 55, 32));
     148                        isolButton.setBounds(new Rectangle(0, 128, 52, 32));
     149                isolButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    145150                        isolButton.setToolTipText(Messages.getString("IsolTip"));
    146151                }
    … …  
    152157                        pillarButton = new JRadioButton(new ImageIcon(getClass()
    153158                                        .getResource("/images/PillarButton.png")));
    154                         pillarButton.setBounds(new Rectangle(55, 0, 90, 32));
     159                        pillarButton.setBounds(new Rectangle(55, 0, 34, 32));
     160                pillarButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    155161                        pillarButton.setToolTipText(Messages.getString("PillarTip"));
    156162                }
    … …  
    162168                        sparButton = new JRadioButton(new ImageIcon(getClass().getResource(
    163169                                        "/images/SparButton.png")));
    164                         sparButton.setBounds(new Rectangle(55, 32, 90, 32));
     170                        sparButton.setBounds(new Rectangle(55, 32, 34, 32));
     171                sparButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    165172                        sparButton.setToolTipText(Messages.getString("SparTip"));
    166173                }
    … …  
    172179                        floatButton = new JRadioButton(new ImageIcon(getClass()
    173180                                        .getResource("/images/FloatButton.png")));
    174                         floatButton.setBounds(new Rectangle(55, 64, 90, 32));
     181                        floatButton.setBounds(new Rectangle(55, 64, 34, 32));
     182                floatButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    175183                        floatButton.setToolTipText(Messages.getString("FloatTip"));
    176184                }
    … …  
    182190                        beaconButton = new JRadioButton(new ImageIcon(getClass()
    183191                                        .getResource("/images/BeaconButton.png")));
    184                         beaconButton.setBounds(new Rectangle(55, 96, 90, 32));
     192                        beaconButton.setBounds(new Rectangle(55, 96, 34, 32));
     193                beaconButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    185194                        beaconButton.setToolTipText(Messages.getString("BeaconTip"));
    186195                }
    … …  
    192201                        towerButton = new JRadioButton(new ImageIcon(getClass()
    193202                                        .getResource("/images/TowerButton.png")));
    194                         towerButton.setBounds(new Rectangle(55, 128, 90, 32));
     203                        towerButton.setBounds(new Rectangle(55, 128, 34, 32));
     204                towerButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    195205                        towerButton.setToolTipText(Messages.getString("TowerTip"));
    196206                }

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

    r24665 r24724  
    5151                ActionListener alCat = new ActionListener() {
    5252                        public void actionPerformed(java.awt.event.ActionEvent e) {
    53                                 houseButton.setEnabled(!houseButton.isSelected());
    54                                 majorButton.setEnabled(!majorButton.isSelected());
    55                                 minorButton.setEnabled(!minorButton.isSelected());
    56                                 vesselButton.setEnabled(!vesselButton.isSelected());
    57                                 floatButton.setEnabled(!floatButton.isSelected());
     53                                houseButton.setBorderPainted(houseButton.isSelected());
     54                                majorButton.setBorderPainted(majorButton.isSelected());
     55                                minorButton.setBorderPainted(minorButton.isSelected());
     56                                vesselButton.setBorderPainted(vesselButton.isSelected());
     57                                floatButton.setBorderPainted(floatButton.isSelected());
    5858                        }
    5959                };
    … …  
    6969                        houseButton = new JRadioButton(new ImageIcon(getClass()
    7070                                        .getResource("/images/LighthouseButton.png")));
    71                         houseButton.setBounds(new Rectangle(0, 0, 35, 32));
     71                        houseButton.setBounds(new Rectangle(0, 0, 34, 32));
     72                houseButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    7273                        houseButton.setToolTipText(Messages.getString("LighthouseTip"));
    7374                }
    … …  
    7980                        majorButton = new JRadioButton(new ImageIcon(getClass()
    8081                                        .getResource("/images/LightMajorButton.png")));
    81                         majorButton.setBounds(new Rectangle(0, 32, 35, 32));
     82                        majorButton.setBounds(new Rectangle(0, 32, 34, 32));
     83                majorButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    8284                        majorButton.setToolTipText(Messages.getString("MajorLightTip"));
    8385                }
    … …  
    8991                        minorButton = new JRadioButton(new ImageIcon(getClass()
    9092                                        .getResource("/images/LightMinorButton.png")));
    91                         minorButton.setBounds(new Rectangle(0, 64, 35, 32));
     93                        minorButton.setBounds(new Rectangle(0, 64, 34, 32));
     94                minorButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    9295                        minorButton.setToolTipText(Messages.getString("MinorLightTip"));
    9396                }
    … …  
    99102                        vesselButton = new JRadioButton(new ImageIcon(getClass()
    100103                                        .getResource("/images/LightVesselButton.png")));
    101                         vesselButton.setBounds(new Rectangle(0, 96, 35, 32));
     104                        vesselButton.setBounds(new Rectangle(0, 96, 34, 32));
     105                vesselButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    102106                        vesselButton.setToolTipText(Messages.getString("LightVesselTip"));
    103107                }
    … …  
    109113                        floatButton = new JRadioButton(new ImageIcon(getClass()
    110114                                        .getResource("/images/LightFloatButton.png")));
    111                         floatButton.setBounds(new Rectangle(0, 128, 35, 32));
     115                        floatButton.setBounds(new Rectangle(0, 128, 34, 32));
     116                floatButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    112117                        floatButton.setToolTipText(Messages.getString("LightFloatTip"));
    113118                }

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

    r24695 r24724  
    5858                ActionListener alRegion = new ActionListener() {
    5959                        public void actionPerformed(java.awt.event.ActionEvent e) {
    60                                 if (regionAButton.isSelected()) {
    61                                         regionAButton.setEnabled(false);
    62                                 } else {
    63                                         regionAButton.setEnabled(true);
    64                                 }
    65                                 if (regionBButton.isSelected()) {
    66                                         regionBButton.setEnabled(false);
    67                                 } else {
    68                                         regionBButton.setEnabled(true);
    69                                 }
     60                                regionAButton.setBorderPainted(regionAButton.isSelected());
     61                                regionBButton.setBorderPainted(regionBButton.isSelected());
    7062                        }
    7163                };
    … …  
    8375                ActionListener alShape = new ActionListener() {
    8476                        public void actionPerformed(java.awt.event.ActionEvent e) {
    85                                 pillarButton.setEnabled(!pillarButton.isSelected());
    86                                 sparButton.setEnabled(!sparButton.isSelected());
    87                                 canButton.setEnabled(!canButton.isSelected());
    88                                 floatButton.setEnabled(!floatButton.isSelected());
    89                                 beaconButton.setEnabled(!beaconButton.isSelected());
    90                                 towerButton.setEnabled(!towerButton.isSelected());
    91                                 perchButton.setEnabled(!perchButton.isSelected());
     77                                pillarButton.setBorderPainted(pillarButton.isSelected());
     78                                sparButton.setBorderPainted(sparButton.isSelected());
     79                                canButton.setBorderPainted(canButton.isSelected());
     80                                floatButton.setBorderPainted(floatButton.isSelected());
     81                                beaconButton.setBorderPainted(beaconButton.isSelected());
     82                                towerButton.setBorderPainted(towerButton.isSelected());
     83                                perchButton.setBorderPainted(perchButton.isSelected());
    9284                        }
    9385                };
    … …  
    10597                        regionAButton = new JRadioButton(new ImageIcon(getClass()
    10698                                        .getResource("/images/RegionAButton.png")));
    107                         regionAButton.setBounds(new Rectangle(0, 2, 35, 30));
     99                        regionAButton.setBounds(new Rectangle(0, 2, 34, 30));
     100                regionAButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    108101                        regionAButton.setToolTipText(Messages.getString("RegionATip"));
    109102                }
    … …  
    115108                        regionBButton = new JRadioButton(new ImageIcon(getClass()
    116109                                        .getResource("/images/RegionBButton.png")));
    117                         regionBButton.setBounds(new Rectangle(0, 32, 35, 30));
     110                        regionBButton.setBounds(new Rectangle(0, 32, 34, 30));
     111                regionBButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    118112                        regionBButton.setToolTipText(Messages.getString("RegionBTip"));
    119113                }
    … …  
    125119                        pillarButton = new JRadioButton(new ImageIcon(getClass()
    126120                                        .getResource("/images/PillarButton.png")));
    127                         pillarButton.setBounds(new Rectangle(0, 64, 35, 32));
     121                        pillarButton.setBounds(new Rectangle(0, 64, 34, 32));
     122                pillarButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    128123                        pillarButton.setToolTipText(Messages.getString("PillarTip"));
    129124                }
    … …  
    135130                        sparButton = new JRadioButton(new ImageIcon(getClass().getResource(
    136131                                        "/images/SparButton.png")));
    137                         sparButton.setBounds(new Rectangle(0, 96, 35, 32));
     132                        sparButton.setBounds(new Rectangle(0, 96, 34, 32));
     133                sparButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    138134                        sparButton.setToolTipText(Messages.getString("SparTip"));
    139135                }
    … …  
    145141                        canButton = new JRadioButton(new ImageIcon(getClass().getResource(
    146142                                        "/images/CanButton.png")));
    147                         canButton.setBounds(new Rectangle(0, 128, 35, 32));
     143                        canButton.setBounds(new Rectangle(0, 128, 34, 32));
     144                canButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    148145                        canButton.setToolTipText(Messages.getString("CanTip"));
    149146                }
    … …  
    155152                        floatButton = new JRadioButton(new ImageIcon(getClass()
    156153                                        .getResource("/images/FloatButton.png")));
    157                         floatButton.setBounds(new Rectangle(35, 0, 35, 32));
     154                        floatButton.setBounds(new Rectangle(35, 0, 34, 32));
     155                floatButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    158156                        floatButton.setToolTipText(Messages.getString("FloatTip"));
    159157                }
    … …  
    165163                        beaconButton = new JRadioButton(new ImageIcon(getClass()
    166164                                        .getResource("/images/BeaconButton.png")));
    167                         beaconButton.setBounds(new Rectangle(35, 32, 35, 32));
     165                        beaconButton.setBounds(new Rectangle(35, 32, 34, 32));
     166                beaconButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    168167                        beaconButton.setToolTipText(Messages.getString("BeaconTip"));
    169168                }
    … …  
    175174                        towerButton = new JRadioButton(new ImageIcon(getClass()
    176175                                        .getResource("/images/TowerButton.png")));
    177                         towerButton.setBounds(new Rectangle(35, 64, 35, 32));
     176                        towerButton.setBounds(new Rectangle(35, 64, 34, 32));
     177                towerButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    178178                        towerButton.setToolTipText(Messages.getString("TowerTip"));
    179179                }
    … …  
    185185                        perchButton = new JRadioButton(new ImageIcon(getClass()
    186186                                        .getResource("/images/PerchPButton.png")));
    187                         perchButton.setBounds(new Rectangle(35, 96, 35, 32));
     187                        perchButton.setBounds(new Rectangle(35, 96, 34, 32));
     188                perchButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    188189                        perchButton.setToolTipText(Messages.getString("PerchTip"));
    189190                }

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

    r24695 r24724  
    5656                ActionListener alRegion = new ActionListener() {
    5757                        public void actionPerformed(java.awt.event.ActionEvent e) {
    58                                 if (regionAButton.isSelected()) {
    59                                         regionAButton.setEnabled(false);
    60                                 } else {
    61                                         regionAButton.setEnabled(true);
    62                                 }
    63                                 if (regionBButton.isSelected()) {
    64                                         regionBButton.setEnabled(false);
    65                                 } else {
    66                                         regionBButton.setEnabled(true);
    67                                 }
     58                                regionAButton.setBorderPainted(regionAButton.isSelected());
     59                                regionBButton.setBorderPainted(regionBButton.isSelected());
    6860                        }
    6961                };
    … …  
    8072                ActionListener alShape = new ActionListener() {
    8173                        public void actionPerformed(java.awt.event.ActionEvent e) {
    82                                 pillarButton.setEnabled(!pillarButton.isSelected());
    83                                 sparButton.setEnabled(!sparButton.isSelected());
    84                                 canButton.setEnabled(!canButton.isSelected());
    85                                 floatButton.setEnabled(!floatButton.isSelected());
    86                                 beaconButton.setEnabled(!beaconButton.isSelected());
    87                                 towerButton.setEnabled(!towerButton.isSelected());
     74                                pillarButton.setBorderPainted(pillarButton.isSelected());
     75                                sparButton.setBorderPainted(sparButton.isSelected());
     76                                canButton.setBorderPainted(canButton.isSelected());
     77                                floatButton.setBorderPainted(floatButton.isSelected());
     78                                beaconButton.setBorderPainted(beaconButton.isSelected());
     79                                towerButton.setBorderPainted(towerButton.isSelected());
    8880                        }
    8981                };
    … …  
    10092                        regionAButton = new JRadioButton(new ImageIcon(getClass()
    10193                                        .getResource("/images/RegionAButton.png")));
    102                         regionAButton.setBounds(new Rectangle(0, 2, 35, 30));
     94                        regionAButton.setBounds(new Rectangle(0, 2, 34, 30));
     95                regionAButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    10396                        regionAButton.setToolTipText(Messages.getString("RegionATip"));
    10497                }
    … …  
    110103                        regionBButton = new JRadioButton(new ImageIcon(getClass()
    111104                                        .getResource("/images/RegionBButton.png")));
    112                         regionBButton.setBounds(new Rectangle(0, 32, 35, 30));
     105                        regionBButton.setBounds(new Rectangle(0, 32, 34, 30));
     106                regionBButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    113107                        regionBButton.setToolTipText(Messages.getString("RegionBTip"));
    114108                }
    … …  
    120114                        pillarButton = new JRadioButton(new ImageIcon(getClass()
    121115                                        .getResource("/images/PillarButton.png")));
    122                         pillarButton.setBounds(new Rectangle(0, 64, 35, 32));
     116                        pillarButton.setBounds(new Rectangle(0, 64, 34, 32));
     117                pillarButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    123118                        pillarButton.setToolTipText(Messages.getString("PillarTip"));
    124119                }
    … …  
    130125                        sparButton = new JRadioButton(new ImageIcon(getClass().getResource(
    131126                                        "/images/SparButton.png")));
    132                         sparButton.setBounds(new Rectangle(0, 96, 35, 32));
     127                        sparButton.setBounds(new Rectangle(0, 96, 34, 32));
     128                sparButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    133129                        sparButton.setToolTipText(Messages.getString("SparTip"));
    134130                }
    … …  
    140136                        canButton = new JRadioButton(new ImageIcon(getClass().getResource(
    141137                                        "/images/CanButton.png")));
    142                         canButton.setBounds(new Rectangle(0, 128, 35, 32));
     138                        canButton.setBounds(new Rectangle(0, 128, 34, 32));
     139                canButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    143140                        canButton.setToolTipText(Messages.getString("CanTip"));
    144141                }
    … …  
    150147                        floatButton = new JRadioButton(new ImageIcon(getClass()
    151148                                        .getResource("/images/FloatButton.png")));
    152                         floatButton.setBounds(new Rectangle(35, 0, 35, 32));
     149                        floatButton.setBounds(new Rectangle(35, 0, 34, 32));
     150                floatButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    153151                        floatButton.setToolTipText(Messages.getString("FloatTip"));
    154152                }
    … …  
    160158                        beaconButton = new JRadioButton(new ImageIcon(getClass()
    161159                                        .getResource("/images/BeaconButton.png")));
    162                         beaconButton.setBounds(new Rectangle(35, 32, 35, 32));
     160                        beaconButton.setBounds(new Rectangle(35, 32, 34, 32));
     161                beaconButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    163162                        beaconButton.setToolTipText(Messages.getString("BeaconTip"));
    164163                }
    … …  
    170169                        towerButton = new JRadioButton(new ImageIcon(getClass()
    171170                                        .getResource("/images/TowerButton.png")));
    172                         towerButton.setBounds(new Rectangle(35, 64, 35, 32));
     171                        towerButton.setBounds(new Rectangle(35, 64, 34, 32));
     172                towerButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    173173                        towerButton.setToolTipText(Messages.getString("TowerTip"));
    174174                }

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

    r24695 r24724  
    5656                ActionListener alRegion = new ActionListener() {
    5757                        public void actionPerformed(java.awt.event.ActionEvent e) {
    58                                 if (regionAButton.isSelected()) {
    59                                         regionAButton.setEnabled(false);
    60                                 } else {
    61                                         regionAButton.setEnabled(true);
    62                                 }
    63                                 if (regionBButton.isSelected()) {
    64                                         regionBButton.setEnabled(false);
    65                                 } else {
    66                                         regionBButton.setEnabled(true);
    67                                 }
     58                                regionAButton.setBorderPainted(regionAButton.isSelected());
     59                                regionBButton.setBorderPainted(regionBButton.isSelected());
    6860                        }
    6961                };
    … …  
    8072                ActionListener alShape = new ActionListener() {
    8173                        public void actionPerformed(java.awt.event.ActionEvent e) {
    82                                 pillarButton.setEnabled(!pillarButton.isSelected());
    83                                 sparButton.setEnabled(!sparButton.isSelected());
    84                                 coneButton.setEnabled(!coneButton.isSelected());
    85                                 floatButton.setEnabled(!floatButton.isSelected());
    86                                 beaconButton.setEnabled(!beaconButton.isSelected());
    87                                 towerButton.setEnabled(!towerButton.isSelected());
     74                                pillarButton.setBorderPainted(pillarButton.isSelected());
     75                                sparButton.setBorderPainted(sparButton.isSelected());
     76                                coneButton.setBorderPainted(coneButton.isSelected());
     77                                floatButton.setBorderPainted(floatButton.isSelected());
     78                                beaconButton.setBorderPainted(beaconButton.isSelected());
     79                                towerButton.setBorderPainted(towerButton.isSelected());
    8880                        }
    8981                };
    … …  
    10092                        regionAButton = new JRadioButton(new ImageIcon(getClass()
    10193                                        .getResource("/images/RegionAButton.png")));
    102                         regionAButton.setBounds(new Rectangle(0, 2, 35, 30));
     94                        regionAButton.setBounds(new Rectangle(0, 2, 34, 30));
     95                regionAButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    10396                        regionAButton.setToolTipText(Messages.getString("RegionATip"));
    10497                }
    … …  
    110103                        regionBButton = new JRadioButton(new ImageIcon(getClass()
    111104                                        .getResource("/images/RegionBButton.png")));
    112                         regionBButton.setBounds(new Rectangle(0, 32, 35, 30));
     105                        regionBButton.setBounds(new Rectangle(0, 32, 34, 30));
     106                regionBButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    113107                        regionBButton.setToolTipText(Messages.getString("RegionBTip"));
    114108                }
    … …  
    120114                        pillarButton = new JRadioButton(new ImageIcon(getClass()
    121115                                        .getResource("/images/PillarButton.png")));
    122                         pillarButton.setBounds(new Rectangle(0, 64, 35, 32));
     116                        pillarButton.setBounds(new Rectangle(0, 64, 34, 32));
     117                pillarButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    123118                        pillarButton.setToolTipText(Messages.getString("PillarTip"));
    124119                }
    … …  
    130125                        sparButton = new JRadioButton(new ImageIcon(getClass().getResource(
    131126                                        "/images/SparButton.png")));
    132                         sparButton.setBounds(new Rectangle(0, 96, 35, 32));
     127                        sparButton.setBounds(new Rectangle(0, 96, 34, 32));
     128                sparButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    133129                        sparButton.setToolTipText(Messages.getString("SparTip"));
    134130                }
    … …  
    140136                        coneButton = new JRadioButton(new ImageIcon(getClass().getResource(
    141137                                        "/images/ConeButton.png")));
    142                         coneButton.setBounds(new Rectangle(0, 128, 35, 32));
     138                        coneButton.setBounds(new Rectangle(0, 128, 34, 32));
     139                coneButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    143140                        coneButton.setToolTipText(Messages.getString("ConeTip"));
    144141                }
    … …  
    150147                        floatButton = new JRadioButton(new ImageIcon(getClass()
    151148                                        .getResource("/images/FloatButton.png")));
    152                         floatButton.setBounds(new Rectangle(35, 0, 35, 32));
     149                        floatButton.setBounds(new Rectangle(35, 0, 34, 32));
     150                floatButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    153151                        floatButton.setToolTipText(Messages.getString("FloatTip"));
    154152                }
    … …  
    160158                        beaconButton = new JRadioButton(new ImageIcon(getClass()
    161159                                        .getResource("/images/BeaconButton.png")));
    162                         beaconButton.setBounds(new Rectangle(35, 32, 35, 32));
     160                        beaconButton.setBounds(new Rectangle(35, 32, 34, 32));
     161                beaconButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    163162                        beaconButton.setToolTipText(Messages.getString("BeaconTip"));
    164163                }
    … …  
    170169                        towerButton = new JRadioButton(new ImageIcon(getClass()
    171170                                        .getResource("/images/TowerButton.png")));
    172                         towerButton.setBounds(new Rectangle(35, 64, 35, 32));
     171                        towerButton.setBounds(new Rectangle(35, 64, 34, 32));
     172                towerButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    173173                        towerButton.setToolTipText(Messages.getString("TowerTip"));
    174174                }

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

    r24695 r24724  
    5252                ActionListener alShape = new ActionListener() {
    5353                        public void actionPerformed(java.awt.event.ActionEvent e) {
    54                                 pillarButton.setEnabled(!pillarButton.isSelected());
    55                                 sparButton.setEnabled(!sparButton.isSelected());
    56                                 sphereButton.setEnabled(!sphereButton.isSelected());
    57                                 barrelButton.setEnabled(!barrelButton.isSelected());
    58                                 floatButton.setEnabled(!floatButton.isSelected());
     54                                pillarButton.setBorderPainted(pillarButton.isSelected());
     55                                sparButton.setBorderPainted(sparButton.isSelected());
     56                                sphereButton.setBorderPainted(sphereButton.isSelected());
     57                                barrelButton.setBorderPainted(barrelButton.isSelected());
     58                                floatButton.setBorderPainted(floatButton.isSelected());
    5959                        }
    6060                };
    … …  
    7070                        pillarButton = new JRadioButton(new ImageIcon(getClass()
    7171                                        .getResource("/images/PillarButton.png")));
    72                         pillarButton.setBounds(new Rectangle(0, 0, 35, 32));
     72                        pillarButton.setBounds(new Rectangle(0, 0, 34, 32));
     73                pillarButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    7374                        pillarButton.setToolTipText(Messages.getString("PillarTip"));
    7475                }
    … …  
    8081                        sparButton = new JRadioButton(new ImageIcon(getClass().getResource(
    8182                                        "/images/SparButton.png")));
    82                         sparButton.setBounds(new Rectangle(0, 32, 35, 32));
     83                        sparButton.setBounds(new Rectangle(0, 32, 34, 32));
     84                sparButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    8385                        sparButton.setToolTipText(Messages.getString("SparTip"));
    8486                }
    … …  
    9092                        sphereButton = new JRadioButton(new ImageIcon(getClass()
    9193                                        .getResource("/images/SphereButton.png")));
    92                         sphereButton.setBounds(new Rectangle(0, 64, 35, 32));
     94                        sphereButton.setBounds(new Rectangle(0, 64, 34, 32));
     95                sphereButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    9396                        sphereButton.setToolTipText(Messages.getString("SphereTip"));
    9497                }
    … …  
    100103                        barrelButton = new JRadioButton(new ImageIcon(getClass()
    101104                                        .getResource("/images/BarrelButton.png")));
    102                         barrelButton.setBounds(new Rectangle(0, 96, 35, 32));
     105                        barrelButton.setBounds(new Rectangle(0, 96, 34, 32));
     106                barrelButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    103107                        barrelButton.setToolTipText(Messages.getString("BarrelTip"));
    104108                }
    … …  
    110114                        floatButton = new JRadioButton(new ImageIcon(getClass()
    111115                                        .getResource("/images/FloatButton.png")));
    112                         floatButton.setBounds(new Rectangle(0, 128, 35, 32));
     116                        floatButton.setBounds(new Rectangle(0, 128, 34, 32));
     117                floatButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    113118                        floatButton.setToolTipText(Messages.getString("FloatTip"));
    114119                }

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

    r24695 r24724  
    8080                ActionListener alShape = new ActionListener() {
    8181                        public void actionPerformed(java.awt.event.ActionEvent e) {
    82                                 pillarButton.setEnabled(!pillarButton.isSelected());
    83                                 sparButton.setEnabled(!sparButton.isSelected());
    84                                 canButton.setEnabled(!canButton.isSelected());
    85                                 coneButton.setEnabled(!coneButton.isSelected());
    86                                 sphereButton.setEnabled(!sphereButton.isSelected());
    87                                 barrelButton.setEnabled(!barrelButton.isSelected());
    88                                 superButton.setEnabled(!superButton.isSelected());
    89                                 floatButton.setEnabled(!floatButton.isSelected());
    90                                 beaconButton.setEnabled(!beaconButton.isSelected());
    91                                 towerButton.setEnabled(!towerButton.isSelected());
     82                                pillarButton.setBorderPainted(pillarButton.isSelected());
     83                                sparButton.setBorderPainted(sparButton.isSelected());
     84                                canButton.setBorderPainted(canButton.isSelected());
     85                                coneButton.setBorderPainted(coneButton.isSelected());
     86                                sphereButton.setBorderPainted(sphereButton.isSelected());
     87                                barrelButton.setBorderPainted(barrelButton.isSelected());
     88                                superButton.setBorderPainted(superButton.isSelected());
     89                                floatButton.setBorderPainted(floatButton.isSelected());
     90                                beaconButton.setBorderPainted(beaconButton.isSelected());
     91                                towerButton.setBorderPainted(towerButton.isSelected());
    9292                        }
    9393                };
    … …  
    128128                ActionListener alColour = new ActionListener() {
    129129                        public void actionPerformed(java.awt.event.ActionEvent e) {
    130                                 whiteButton.setEnabled(!whiteButton.isSelected());
    131                                 redButton.setEnabled(!redButton.isSelected());
    132                                 orangeButton.setEnabled(!orangeButton.isSelected());
    133                                 amberButton.setEnabled(!amberButton.isSelected());
    134                                 yellowButton.setEnabled(!yellowButton.isSelected());
    135                                 greenButton.setEnabled(!greenButton.isSelected());
    136                                 blueButton.setEnabled(!blueButton.isSelected());
    137                                 violetButton.setEnabled(!violetButton.isSelected());
    138                                 blackButton.setEnabled(!blackButton.isSelected());
     130                                whiteButton.setBorderPainted(whiteButton.isSelected());
     131                                redButton.setBorderPainted(redButton.isSelected());
     132                                orangeButton.setBorderPainted(orangeButton.isSelected());
     133                                amberButton.setBorderPainted(amberButton.isSelected());
     134                                yellowButton.setBorderPainted(yellowButton.isSelected());
     135                                greenButton.setBorderPainted(greenButton.isSelected());
     136                                blueButton.setBorderPainted(blueButton.isSelected());
     137                                violetButton.setBorderPainted(violetButton.isSelected());
     138                                blackButton.setBorderPainted(blackButton.isSelected());
    139139                        }
    140140                };
    … …  
    154154                        pillarButton = new JRadioButton(new ImageIcon(getClass()
    155155                                        .getResource("/images/PillarButton.png")));
    156                         pillarButton.setBounds(new Rectangle(55, 0, 35, 32));
     156                        pillarButton.setBounds(new Rectangle(55, 0, 34, 32));
     157                pillarButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    157158                        pillarButton.setToolTipText(Messages.getString("PillarTip"));
    158159                }
    … …  
    164165                        sparButton = new JRadioButton(new ImageIcon(getClass().getResource(
    165166                                        "/images/SparButton.png")));
    166                         sparButton.setBounds(new Rectangle(55, 32, 35, 32));
     167                        sparButton.setBounds(new Rectangle(55, 32, 34, 32));
     168                sparButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    167169                        sparButton.setToolTipText(Messages.getString("SparTip"));
    168170                }
    … …  
    174176                        canButton = new JRadioButton(new ImageIcon(getClass().getResource(
    175177                                        "/images/CanButton.png")));
    176                         canButton.setBounds(new Rectangle(55, 64, 35, 32));
     178                        canButton.setBounds(new Rectangle(55, 64, 34, 32));
     179                canButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    177180                        canButton.setToolTipText(Messages.getString("CanTip"));
    178181                }
    … …  
    184187                        coneButton = new JRadioButton(new ImageIcon(getClass().getResource(
    185188                                        "/images/ConeButton.png")));
    186                         coneButton.setBounds(new Rectangle(55, 96, 35, 32));
     189                        coneButton.setBounds(new Rectangle(55, 96, 34, 32));
     190                coneButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    187191                        coneButton.setToolTipText(Messages.getString("ConeTip"));
    188192                }
    … …  
    194198                        sphereButton = new JRadioButton(new ImageIcon(getClass()
    195199                                        .getResource("/images/SphereButton.png")));
    196                         sphereButton.setBounds(new Rectangle(55, 128, 35, 32));
     200                        sphereButton.setBounds(new Rectangle(55, 128, 34, 32));
     201                sphereButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    197202                        sphereButton.setToolTipText(Messages.getString("SphereTip"));
    198203                }
    … …  
    204209                        barrelButton = new JRadioButton(new ImageIcon(getClass()
    205210                                        .getResource("/images/BarrelButton.png")));
    206                         barrelButton.setBounds(new Rectangle(90, 0, 35, 32));
     211                        barrelButton.setBounds(new Rectangle(90, 0, 34, 32));
     212                barrelButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    207213                        barrelButton.setToolTipText(Messages.getString("BarrelTip"));
    208214                }
    … …  
    214220                        superButton = new JRadioButton(new ImageIcon(getClass()
    215221                                        .getResource("/images/SuperButton.png")));
    216                         superButton.setBounds(new Rectangle(90, 32, 35, 32));
     222                        superButton.setBounds(new Rectangle(90, 32, 34, 32));
     223                superButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    217224                        superButton.setToolTipText(Messages.getString("SuperTip"));
    218225                }
    … …  
    224231                        floatButton = new JRadioButton(new ImageIcon(getClass()
    225232                                        .getResource("/images/FloatButton.png")));
    226                         floatButton.setBounds(new Rectangle(90, 64, 35, 32));
     233                        floatButton.setBounds(new Rectangle(90, 64, 34, 32));
     234                floatButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    227235                        floatButton.setToolTipText(Messages.getString("FloatTip"));
    228236                }
    … …  
    234242                        beaconButton = new JRadioButton(new ImageIcon(getClass()
    235243                                        .getResource("/images/BeaconButton.png")));
    236                         beaconButton.setBounds(new Rectangle(90, 96, 35, 32));
     244                        beaconButton.setBounds(new Rectangle(90, 96, 34, 32));
     245                beaconButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    237246                        beaconButton.setToolTipText(Messages.getString("BeaconTip"));
    238247                }
    … …  
    244253                        towerButton = new JRadioButton(new ImageIcon(getClass()
    245254                                        .getResource("/images/TowerButton.png")));
    246                         towerButton.setBounds(new Rectangle(90, 128, 35, 32));
     255                        towerButton.setBounds(new Rectangle(90, 128, 34, 32));
     256                towerButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    247257                        towerButton.setToolTipText(Messages.getString("TowerTip"));
    248258                }
    … …  
    254264                        whiteButton = new JRadioButton(new ImageIcon(getClass()
    255265                                        .getResource("/images/WhiteButton.png")));
    256                         whiteButton.setBounds(new Rectangle(0, 16, 54, 16));
     266                        whiteButton.setBounds(new Rectangle(0, 16, 52, 16));
     267                whiteButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    257268                        whiteButton.setToolTipText(tr("White"));
    258269                }
    … …  
    264275                        redButton = new JRadioButton(new ImageIcon(getClass().getResource(
    265276                                        "/images/RedButton.png")));
    266                         redButton.setBounds(new Rectangle(0, 32, 54, 16));
     277                        redButton.setBounds(new Rectangle(0, 32, 52, 16));
     278                redButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    267279                        redButton.setToolTipText(tr("Red"));
    268280                }
    … …  
    274286                        orangeButton = new JRadioButton(new ImageIcon(getClass()
    275287                                        .getResource("/images/OrangeButton.png")));
    276                         orangeButton.setBounds(new Rectangle(0, 48, 54, 16));
     288                        orangeButton.setBounds(new Rectangle(0, 48, 52, 16));
     289                orangeButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    277290                        orangeButton.setToolTipText(tr("Orange"));
    278291                }
    … …  
    284297                        amberButton = new JRadioButton(new ImageIcon(getClass()
    285298                                        .getResource("/images/AmberButton.png")));
    286                         amberButton.setBounds(new Rectangle(0, 64, 54, 16));
     299                        amberButton.setBounds(new Rectangle(0, 64, 52, 16));
     300                amberButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    287301                        amberButton.setToolTipText(tr("Amber"));
    288302                }
    … …  
    294308                        yellowButton = new JRadioButton(new ImageIcon(getClass()
    295309                                        .getResource("/images/YellowButton.png")));
    296                         yellowButton.setBounds(new Rectangle(0, 80, 54, 16));
     310                        yellowButton.setBounds(new Rectangle(0, 80, 52, 16));
     311                yellowButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    297312                        yellowButton.setToolTipText(tr("Yellow"));
    298313                }
    … …  
    304319                        greenButton = new JRadioButton(new ImageIcon(getClass()
    305320                                        .getResource("/images/GreenButton.png")));
    306                         greenButton.setBounds(new Rectangle(0, 96, 54, 16));
     321                        greenButton.setBounds(new Rectangle(0, 96, 52, 16));
     322                greenButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    307323                        greenButton.setToolTipText(tr("Green"));
    308324                }
    … …  
    314330                        blueButton = new JRadioButton(new ImageIcon(getClass().getResource(
    315331                                        "/images/BlueButton.png")));
    316                         blueButton.setBounds(new Rectangle(0, 112, 54, 16));
     332                        blueButton.setBounds(new Rectangle(0, 112, 52, 16));
     333                blueButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    317334                        blueButton.setToolTipText(tr("Blue"));
    318335                }
    … …  
    324341                        violetButton = new JRadioButton(new ImageIcon(getClass()
    325342                                        .getResource("/images/VioletButton.png")));
    326                         violetButton.setBounds(new Rectangle(0, 128, 54, 16));
     343                        violetButton.setBounds(new Rectangle(0, 128, 52, 16));
     344                violetButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    327345                        violetButton.setToolTipText(tr("Violet"));
    328346                }
    … …  
    334352                        blackButton = new JRadioButton(new ImageIcon(getClass()
    335353                                        .getResource("/images/BlackButton.png")));
    336                         blackButton.setBounds(new Rectangle(0, 144, 54, 16));
     354                        blackButton.setBounds(new Rectangle(0, 144, 52, 16));
     355                blackButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    337356                        blackButton.setToolTipText(tr("Black"));
    338357                }

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

    r24695 r24724  
    5858                ActionListener alRegion = new ActionListener() {
    5959                        public void actionPerformed(java.awt.event.ActionEvent e) {
    60                                 if (regionAButton.isSelected()) {
    61                                         regionAButton.setEnabled(false);
    62                                 } else {
    63                                         regionAButton.setEnabled(true);
    64                                 }
    65                                 if (regionBButton.isSelected()) {
    66                                         regionBButton.setEnabled(false);
    67                                 } else {
    68                                         regionBButton.setEnabled(true);
    69                                 }
     60                                regionAButton.setBorderPainted(regionAButton.isSelected());
     61                                regionBButton.setBorderPainted(regionBButton.isSelected());
    7062                        }
    7163                };
    … …  
    8375                ActionListener alShape = new ActionListener() {
    8476                        public void actionPerformed(java.awt.event.ActionEvent e) {
    85                                 pillarButton.setEnabled(!pillarButton.isSelected());
    86                                 sparButton.setEnabled(!sparButton.isSelected());
    87                                 coneButton.setEnabled(!coneButton.isSelected());
    88                                 floatButton.setEnabled(!floatButton.isSelected());
    89                                 beaconButton.setEnabled(!beaconButton.isSelected());
    90                                 towerButton.setEnabled(!towerButton.isSelected());
    91                                 perchButton.setEnabled(!perchButton.isSelected());
     77                                pillarButton.setBorderPainted(pillarButton.isSelected());
     78                                sparButton.setBorderPainted(sparButton.isSelected());
     79                                coneButton.setBorderPainted(coneButton.isSelected());
     80                                floatButton.setBorderPainted(floatButton.isSelected());
     81                                beaconButton.setBorderPainted(beaconButton.isSelected());
     82                                towerButton.setBorderPainted(towerButton.isSelected());
     83                                perchButton.setBorderPainted(perchButton.isSelected());
    9284                        }
    9385                };
    … …  
    10597                        regionAButton = new JRadioButton(new ImageIcon(getClass()
    10698                                        .getResource("/images/RegionAButton.png")));
    107                         regionAButton.setBounds(new Rectangle(0, 2, 35, 30));
     99                        regionAButton.setBounds(new Rectangle(0, 2, 34, 30));
     100                regionAButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    108101                        regionAButton.setToolTipText(Messages.getString("RegionATip"));
    109102                }
    … …  
    115108                        regionBButton = new JRadioButton(new ImageIcon(getClass()
    116109                                        .getResource("/images/RegionBButton.png")));
    117                         regionBButton.setBounds(new Rectangle(0, 32, 35, 30));
     110                        regionBButton.setBounds(new Rectangle(0, 32, 34, 30));
     111                regionBButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    118112                        regionBButton.setToolTipText(Messages.getString("RegionBTip"));
    119113                }
    … …  
    125119                        pillarButton = new JRadioButton(new ImageIcon(getClass()
    126120                                        .getResource("/images/PillarButton.png")));
    127                         pillarButton.setBounds(new Rectangle(0, 64, 35, 32));
     121                        pillarButton.setBounds(new Rectangle(0, 64, 34, 32));
     122                pillarButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    128123                        pillarButton.setToolTipText(Messages.getString("PillarTip"));
    129124                }
    … …  
    135130                        sparButton = new JRadioButton(new ImageIcon(getClass().getResource(
    136131                                        "/images/SparButton.png")));
    137                         sparButton.setBounds(new Rectangle(0, 96, 35, 32));
     132                        sparButton.setBounds(new Rectangle(0, 96, 34, 32));
     133                sparButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    138134                        sparButton.setToolTipText(Messages.getString("SparTip"));
    139135                }
    … …  
    145141                        coneButton = new JRadioButton(new ImageIcon(getClass().getResource(
    146142                                        "/images/ConeButton.png")));
    147                         coneButton.setBounds(new Rectangle(0, 128, 35, 32));
     143                        coneButton.setBounds(new Rectangle(0, 128, 34, 32));
     144                coneButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    148145                        coneButton.setToolTipText(Messages.getString("ConeTip"));
    149146                }
    … …  
    155152                        floatButton = new JRadioButton(new ImageIcon(getClass()
    156153                                        .getResource("/images/FloatButton.png")));
    157                         floatButton.setBounds(new Rectangle(35, 0, 35, 32));
     154                        floatButton.setBounds(new Rectangle(35, 0, 34, 32));
     155                floatButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    158156                        floatButton.setToolTipText(Messages.getString("FloatTip"));
    159157                }
    … …  
    165163                        beaconButton = new JRadioButton(new ImageIcon(getClass()
    166164                                        .getResource("/images/BeaconButton.png")));
    167                         beaconButton.setBounds(new Rectangle(35, 32, 35, 32));
     165                        beaconButton.setBounds(new Rectangle(35, 32, 34, 32));
     166                beaconButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    168167                        beaconButton.setToolTipText(Messages.getString("BeaconTip"));
    169168                }
    … …  
    175174                        towerButton = new JRadioButton(new ImageIcon(getClass()
    176175                                        .getResource("/images/TowerButton.png")));
    177                         towerButton.setBounds(new Rectangle(35, 64, 35, 32));
     176                        towerButton.setBounds(new Rectangle(35, 64, 34, 32));
     177                towerButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    178178                        towerButton.setToolTipText(Messages.getString("TowerTip"));
    179179                }
    … …  
    185185                        perchButton = new JRadioButton(new ImageIcon(getClass()
    186186                                        .getResource("/images/PerchSButton.png")));
    187                         perchButton.setBounds(new Rectangle(35, 96, 35, 32));
     187                        perchButton.setBounds(new Rectangle(35, 96, 34, 32));
     188                perchButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2));
    188189                        perchButton.setToolTipText(Messages.getString("PerchTip"));
    189190                }
Note: See TracChangeset for help on using the changeset viewer.