Ticket #21953: 21953.patch

File 21953.patch, 1.5 KB (added by taylor.smock, 4 years ago)

Add the new overpass server to the overpass server history

  • src/org/openstreetmap/josm/gui/preferences/server/OverpassServerPanel.java 

    diff --git a/src/org/openstreetmap/josm/gui/preferences/server/OverpassServerPanel.java b/src/org/openstreetmap/josm/gui/preferences/server/OverpassServerPanel.java
index 682ab3552a..d11fa1befd 100644
    a b import org.openstreetmap.josm.actions.ExpertToggleAction;  
    1515import org.openstreetmap.josm.gui.widgets.HistoryComboBox;
    1616import org.openstreetmap.josm.io.OverpassDownloadReader;
    1717import org.openstreetmap.josm.tools.GBC;
     18import org.openstreetmap.josm.tools.Utils;
    1819
    1920/**
    2021 * Preferences related to Overpass API servers.
    … … public class OverpassServerPanel extends JPanel {  
    5051     * Saves the current values to the preferences
    5152     */
    5253    public final void saveToPreferences() {
    53         OverpassDownloadReader.OVERPASS_SERVER.put(overpassServer.getText());
     54        // Get the new server -- add the trailing `/` if it does not exist to avoid duplicate entries.
     55        String newServer = Utils.strip(overpassServer.getText());
     56        if (!newServer.endsWith("/")) {
     57            newServer += "/";
     58        }
     59        OverpassDownloadReader.OVERPASS_SERVER.put(newServer);
     60        // Ensure that the new overpass server is added to history
     61        overpassServer.getModel().addTopElement(newServer);
    5462        overpassServer.getModel().prefs().save(OverpassDownloadReader.OVERPASS_SERVER_HISTORY);
    5563        OverpassDownloadReader.FOR_MULTI_FETCH.put(forMultiFetch.isSelected());
    5664    }