Ignore:
Timestamp:
2007-06-25T19:14:27+02:00 (18 years ago)
Author:
christofd
Message:

check for duplicate keys
adopted to new way in gpsdata

File:
1 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/surveyor/src/at/dallermassl/josm/plugin/surveyor/SurveyorComponent.java

    r3097 r3345  
    1212import java.io.Reader;
    1313import java.util.ArrayList;
     14import java.util.HashSet;
    1415import java.util.List;
     16import java.util.Set;
    1517
    1618import javax.swing.JComponent;
    1719import javax.swing.JFrame;
    1820import javax.swing.JLabel;
     21import javax.swing.JOptionPane;
    1922import javax.swing.JPanel;
    2023
     
    3841    private JLabel streetLabel;
    3942    private JPanel buttonPanel;
     43    private Set<String>hotKeys;
    4044
    4145    public SurveyorComponent() {
    4246        super();
     47        hotKeys = new HashSet<String>();
    4348        setLayout(new BorderLayout());
    4449        streetLabel = new JLabel("Way: ");
     
    97102
    98103    public void addButton(ButtonDescription description) {
    99         if(rows == 0 && columns == 0) {
    100             setColumns("4");
     104        if(hotKeys.contains(description.getHotkey())) {
     105            // <FIXXME date="23.06.2007" author="cdaller">
     106            // TODO if i18n is done
     107            //JOptionPane.showMessageDialog(Main.parent, tr("Duplicate hotkey for button '{0}' - button will be ignored!",description.getLabel()));
     108            JOptionPane.showMessageDialog(Main.parent, "Duplicate hotkey for button '" + description.getLabel()
     109                + "' - button will be ignored!");
     110            // </FIXXME>
     111        } else {
     112            if(rows == 0 && columns == 0) {
     113                setColumns("4");
     114            }
     115            description.setGpsDataSource(this);
     116            buttonPanel.add(description.createComponent());
     117            hotKeys.add(description.getHotkey());
    101118        }
    102         description.setGpsDataSource(this);
    103         buttonPanel.add(description.createComponent());
    104119    }
    105120   
     
    165180        if("gpsdata".equals(evt.getPropertyName())) {
    166181            gpsData = (LiveGpsData) evt.getNewValue();
    167             streetLabel.setText("Way: " + gpsData.getWay());
     182            streetLabel.setText("Way: " + gpsData.getWayInfo());
    168183        }
    169184       
Note: See TracChangeset for help on using the changeset viewer.