Changeset 24742 in osm for applications/editors/josm/plugins/smed
- Timestamp:
- 2010-12-14T12:58:33+01:00 (14 years ago)
- Location:
- applications/editors/josm/plugins/smed/plugs/oseam/src
- Files:
-
- 31 added
- 6 edited
Legend:
- Unmodified
- Added
- Removed
-
applications/editors/josm/plugins/smed/plugs/oseam/src/images/NoTopButton.svg
r24721 r24742 16 16 version="1.1" 17 17 inkscape:version="0.47 r22583" 18 sodipodi:docname=" TopButton.svg"18 sodipodi:docname="NoTopButton.svg" 19 19 inkscape:export-filename="/Users/mherring/boatsw/oseam/josm/plugins/smed/plugs/oseam/src/images/RadarButton.png" 20 20 inkscape:export-xdpi="90" … … 5554 5554 <dc:type 5555 5555 rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> 5556 <dc:title ></dc:title>5556 <dc:title /> 5557 5557 </cc:Work> 5558 5558 </rdf:RDF> … … 5571 5571 id="rect3618" 5572 5572 style="fill:url(#linearGradient3612);fill-opacity:1;stroke:#000000;stroke-width:0.99062473;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline" 5573 rx=" 3.7812154"5574 ry=" 3.7812157" />5573 rx="5" 5574 ry="5" /> 5575 5575 </g> 5576 5576 </svg> -
applications/editors/josm/plugins/smed/plugs/oseam/src/oseam/msg/messages.properties
r24665 r24742 38 38 RegionATip=IALA Region A 39 39 RegionBTip=IALA Region B 40 NoTopTip=No topmark 41 CanTopTip=Can topmark 42 ConeTopTip=Conical topmark 43 SphereTopTip=Spherical topmark 44 XTopTip=X-shape topmark 45 NorthTopTip=North cardinal topmark 46 SouthTopTip=South cardinal topmark 47 EastTopTip=East cardinal topmark 48 WestTopTip=West cardinal topmark 49 Spheres2TopTip=2 spheres topmark 50 BoardDayTip=Board daymark 51 DiamondDayTip=Diamond daymark 52 TriangleDayTip=Triangular daymark 53 TriangleInvDayTip=Inverted triangular daymark 54 SquareDayTip=Square daymark 55 MooringTopTip=Mooring -
applications/editors/josm/plugins/smed/plugs/oseam/src/oseam/msg/messages_de.properties
r24665 r24742 38 38 RegionATip=IALA Region A 39 39 RegionBTip=IALA Region B 40 NoTopTip=No topmark 41 CanTopTip=Can topmark 42 ConeTopTip=Conical topmark 43 SphereTopTip=Spherical topmark 44 XTopTip=X-shape topmark 45 NorthTopTip=North cardinal topmark 46 SouthTopTip=South cardinal topmark 47 EastTopTip=East cardinal topmark 48 WestTopTip=West cardinal topmark 49 Spheres2TopTip=2 spheres topmark 50 BoardDayTip=Board daymark 51 DiamondDayTip=Diamond daymark 52 TriangleDayTip=Triangular daymark 53 TriangleInvDayTip=Inverted triangular daymark 54 SquareDayTip=Square daymark 55 MooringTopTip=Mooring -
applications/editors/josm/plugins/smed/plugs/oseam/src/oseam/msg/messages_en.properties
r24665 r24742 38 38 RegionATip=IALA Region A 39 39 RegionBTip=IALA Region B 40 NoTopTip=No topmark 41 CanTopTip=Can topmark 42 ConeTopTip=Conical topmark 43 SphereTopTip=Spherical topmark 44 XTopTip=X-shape topmark 45 NorthTopTip=North cardinal topmark 46 SouthTopTip=South cardinal topmark 47 EastTopTip=East cardinal topmark 48 WestTopTip=West cardinal topmark 49 Spheres2TopTip=2 spheres topmark 50 BoardDayTip=Board daymark 51 DiamondDayTip=Diamond daymark 52 TriangleDayTip=Triangular daymark 53 TriangleInvDayTip=Inverted triangular daymark 54 SquareDayTip=Square daymark 55 MooringTopTip=Mooring -
applications/editors/josm/plugins/smed/plugs/oseam/src/oseam/panels/PanelTop.java
r24737 r24742 8 8 import java.awt.Font; 9 9 10 import javax.swing.BorderFactory; 10 11 import javax.swing.ButtonGroup; 11 12 import javax.swing.ImageIcon; … … 27 28 private ButtonGroup topButtons = null; 28 29 private JRadioButton noTopButton = null; 30 private JRadioButton canTopButton = null; 31 private JRadioButton coneTopButton = null; 32 private JRadioButton sphereTopButton = null; 33 private JRadioButton XTopButton = null; 34 private JRadioButton northTopButton = null; 35 private JRadioButton southTopButton = null; 36 private JRadioButton eastTopButton = null; 37 private JRadioButton westTopButton = null; 38 private JRadioButton spheres2TopButton = null; 39 private JRadioButton boardDayButton = null; 40 private JRadioButton diamondDayButton = null; 41 private JRadioButton triangleDayButton = null; 42 private JRadioButton triangleInvDayButton = null; 43 private JRadioButton squareDayButton = null; 44 private JRadioButton mooringTopButton = null; 29 45 30 46 public PanelTop() { … … 39 55 this.add(panelCol, null); 40 56 this.add(getNoTopButton(), null); 57 this.add(getCanTopButton(), null); 58 this.add(getConeTopButton(), null); 59 this.add(getSphereTopButton(), null); 60 this.add(getXTopButton(), null); 61 this.add(getNorthTopButton(), null); 62 this.add(getSouthTopButton(), null); 63 this.add(getEastTopButton(), null); 64 this.add(getWestTopButton(), null); 65 this.add(getSpheres2TopButton(), null); 66 this.add(getBoardDayButton(), null); 67 this.add(getDiamondDayButton(), null); 68 this.add(getTriangleDayButton(), null); 69 this.add(getTriangleInvDayButton(), null); 70 this.add(getSquareDayButton(), null); 71 this.add(getMooringTopButton(), null); 41 72 topButtons = new ButtonGroup(); 42 73 topButtons.add(noTopButton); 74 topButtons.add(canTopButton); 75 topButtons.add(coneTopButton); 76 topButtons.add(sphereTopButton); 77 topButtons.add(XTopButton); 78 topButtons.add(northTopButton); 79 topButtons.add(southTopButton); 80 topButtons.add(eastTopButton); 81 topButtons.add(westTopButton); 82 topButtons.add(spheres2TopButton); 83 topButtons.add(boardDayButton); 84 topButtons.add(diamondDayButton); 85 topButtons.add(triangleDayButton); 86 topButtons.add(triangleInvDayButton); 87 topButtons.add(squareDayButton); 88 topButtons.add(mooringTopButton); 89 ActionListener alTop = new ActionListener() { 90 public void actionPerformed(java.awt.event.ActionEvent e) { 91 noTopButton.setBorderPainted(noTopButton.isSelected()); 92 canTopButton.setBorderPainted(canTopButton.isSelected()); 93 coneTopButton.setBorderPainted(coneTopButton.isSelected()); 94 sphereTopButton.setBorderPainted(sphereTopButton.isSelected()); 95 XTopButton.setBorderPainted(XTopButton.isSelected()); 96 northTopButton.setBorderPainted(northTopButton.isSelected()); 97 southTopButton.setBorderPainted(southTopButton.isSelected()); 98 eastTopButton.setBorderPainted(eastTopButton.isSelected()); 99 westTopButton.setBorderPainted(westTopButton.isSelected()); 100 spheres2TopButton.setBorderPainted(spheres2TopButton.isSelected()); 101 boardDayButton.setBorderPainted(boardDayButton.isSelected()); 102 diamondDayButton.setBorderPainted(diamondDayButton.isSelected()); 103 triangleDayButton.setBorderPainted(triangleDayButton.isSelected()); 104 triangleInvDayButton.setBorderPainted(triangleInvDayButton.isSelected()); 105 squareDayButton.setBorderPainted(squareDayButton.isSelected()); 106 mooringTopButton.setBorderPainted(mooringTopButton.isSelected()); 107 } 108 }; 109 noTopButton.addActionListener(alTop); 110 canTopButton.addActionListener(alTop); 111 coneTopButton.addActionListener(alTop); 112 sphereTopButton.addActionListener(alTop); 113 XTopButton.addActionListener(alTop); 114 northTopButton.addActionListener(alTop); 115 southTopButton.addActionListener(alTop); 116 eastTopButton.addActionListener(alTop); 117 westTopButton.addActionListener(alTop); 118 spheres2TopButton.addActionListener(alTop); 119 boardDayButton.addActionListener(alTop); 120 diamondDayButton.addActionListener(alTop); 121 triangleDayButton.addActionListener(alTop); 122 triangleInvDayButton.addActionListener(alTop); 123 squareDayButton.addActionListener(alTop); 124 mooringTopButton.addActionListener(alTop); 43 125 } 44 126 … … 47 129 noTopButton = new JRadioButton(new ImageIcon(getClass() 48 130 .getResource("/images/NoTopButton.png"))); 49 noTopButton.setBounds(new Rectangle(40, 5, 30, 30)); 50 noTopButton.setToolTipText(Messages.getString("NorthTip")); 131 noTopButton.setBounds(new Rectangle(40, 5, 27, 27)); 132 noTopButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 133 noTopButton.setToolTipText(Messages.getString("NoTopTip")); 51 134 } 52 135 return noTopButton; 53 136 } 54 137 138 private JRadioButton getCanTopButton() { 139 if (canTopButton == null) { 140 canTopButton = new JRadioButton(new ImageIcon(getClass() 141 .getResource("/images/CanTopButton.png"))); 142 canTopButton.setBounds(new Rectangle(70, 5, 27, 27)); 143 canTopButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 144 canTopButton.setToolTipText(Messages.getString("CanTopTip")); 145 } 146 return canTopButton; 147 } 148 149 private JRadioButton getConeTopButton() { 150 if (coneTopButton == null) { 151 coneTopButton = new JRadioButton(new ImageIcon(getClass() 152 .getResource("/images/ConeTopButton.png"))); 153 coneTopButton.setBounds(new Rectangle(100, 5, 27, 27)); 154 coneTopButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 155 coneTopButton.setToolTipText(Messages.getString("ConeTopTip")); 156 } 157 return coneTopButton; 158 } 159 160 private JRadioButton getSphereTopButton() { 161 if (sphereTopButton == null) { 162 sphereTopButton = new JRadioButton(new ImageIcon(getClass() 163 .getResource("/images/SphereTopButton.png"))); 164 sphereTopButton.setBounds(new Rectangle(130, 5, 27, 27)); 165 sphereTopButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 166 sphereTopButton.setToolTipText(Messages.getString("SphereTopTip")); 167 } 168 return sphereTopButton; 169 } 170 171 private JRadioButton getXTopButton() { 172 if (XTopButton == null) { 173 XTopButton = new JRadioButton(new ImageIcon(getClass() 174 .getResource("/images/XTopButton.png"))); 175 XTopButton.setBounds(new Rectangle(160, 5, 27, 27)); 176 XTopButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 177 XTopButton.setToolTipText(Messages.getString("XTopTip")); 178 } 179 return XTopButton; 180 } 181 182 private JRadioButton getNorthTopButton() { 183 if (northTopButton == null) { 184 northTopButton = new JRadioButton(new ImageIcon(getClass() 185 .getResource("/images/NorthTopButton.png"))); 186 northTopButton.setBounds(new Rectangle(40, 35, 27, 27)); 187 northTopButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 188 northTopButton.setToolTipText(Messages.getString("NorthTopTip")); 189 } 190 return northTopButton; 191 } 192 193 private JRadioButton getSouthTopButton() { 194 if (southTopButton == null) { 195 southTopButton = new JRadioButton(new ImageIcon(getClass() 196 .getResource("/images/SouthTopButton.png"))); 197 southTopButton.setBounds(new Rectangle(70, 35, 27, 27)); 198 southTopButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 199 southTopButton.setToolTipText(Messages.getString("SouthTopTip")); 200 } 201 return southTopButton; 202 } 203 204 private JRadioButton getEastTopButton() { 205 if (eastTopButton == null) { 206 eastTopButton = new JRadioButton(new ImageIcon(getClass() 207 .getResource("/images/EastTopButton.png"))); 208 eastTopButton.setBounds(new Rectangle(100, 35, 27, 27)); 209 eastTopButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 210 eastTopButton.setToolTipText(Messages.getString("EastTopTip")); 211 } 212 return eastTopButton; 213 } 214 215 private JRadioButton getWestTopButton() { 216 if (westTopButton == null) { 217 westTopButton = new JRadioButton(new ImageIcon(getClass() 218 .getResource("/images/WestTopButton.png"))); 219 westTopButton.setBounds(new Rectangle(130, 35, 27, 27)); 220 westTopButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 221 westTopButton.setToolTipText(Messages.getString("WestTopTip")); 222 } 223 return westTopButton; 224 } 225 226 private JRadioButton getSpheres2TopButton() { 227 if (spheres2TopButton == null) { 228 spheres2TopButton = new JRadioButton(new ImageIcon(getClass() 229 .getResource("/images/Spheres2TopButton.png"))); 230 spheres2TopButton.setBounds(new Rectangle(160, 35, 27, 27)); 231 spheres2TopButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 232 spheres2TopButton.setToolTipText(Messages.getString("Spheres2TopTip")); 233 } 234 return spheres2TopButton; 235 } 236 237 private JRadioButton getBoardDayButton() { 238 if (boardDayButton == null) { 239 boardDayButton = new JRadioButton(new ImageIcon(getClass() 240 .getResource("/images/BoardDayButton.png"))); 241 boardDayButton.setBounds(new Rectangle(40, 65, 27, 27)); 242 boardDayButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 243 boardDayButton.setToolTipText(Messages.getString("BoardDayTip")); 244 } 245 return boardDayButton; 246 } 247 248 private JRadioButton getDiamondDayButton() { 249 if (diamondDayButton == null) { 250 diamondDayButton = new JRadioButton(new ImageIcon(getClass() 251 .getResource("/images/DiamondDayButton.png"))); 252 diamondDayButton.setBounds(new Rectangle(70, 65, 27, 27)); 253 diamondDayButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 254 diamondDayButton.setToolTipText(Messages.getString("DiamondDayTip")); 255 } 256 return diamondDayButton; 257 } 258 259 private JRadioButton getTriangleDayButton() { 260 if (triangleDayButton == null) { 261 triangleDayButton = new JRadioButton(new ImageIcon(getClass() 262 .getResource("/images/TriangleDayButton.png"))); 263 triangleDayButton.setBounds(new Rectangle(100, 65, 27, 27)); 264 triangleDayButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 265 triangleDayButton.setToolTipText(Messages.getString("TriangleDayTip")); 266 } 267 return triangleDayButton; 268 } 269 270 private JRadioButton getTriangleInvDayButton() { 271 if (triangleInvDayButton == null) { 272 triangleInvDayButton = new JRadioButton(new ImageIcon(getClass() 273 .getResource("/images/TriangleInvDayButton.png"))); 274 triangleInvDayButton.setBounds(new Rectangle(130, 65, 27, 27)); 275 triangleInvDayButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 276 triangleInvDayButton.setToolTipText(Messages.getString("TriangleInvDayTip")); 277 } 278 return triangleInvDayButton; 279 } 280 281 private JRadioButton getSquareDayButton() { 282 if (squareDayButton == null) { 283 squareDayButton = new JRadioButton(new ImageIcon(getClass() 284 .getResource("/images/SquareDayButton.png"))); 285 squareDayButton.setBounds(new Rectangle(160, 65, 27, 27)); 286 squareDayButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 287 squareDayButton.setToolTipText(Messages.getString("SquareDayTip")); 288 } 289 return squareDayButton; 290 } 291 292 private JRadioButton getMooringTopButton() { 293 if (mooringTopButton == null) { 294 mooringTopButton = new JRadioButton(new ImageIcon(getClass() 295 .getResource("/images/MooringTopButton.png"))); 296 mooringTopButton.setBounds(new Rectangle(40, 95, 27, 27)); 297 mooringTopButton.setBorder(BorderFactory.createLineBorder(Color.magenta, 2)); 298 mooringTopButton.setToolTipText(Messages.getString("MooringTopTip")); 299 } 300 return mooringTopButton; 301 } 302 55 303 }
Note:
See TracChangeset
for help on using the changeset viewer.