001// License: GPL. For details, see LICENSE file.
002package org.openstreetmap.josm.gui.preferences.server;
003
004/**
005 * Listener called when proxy settings are updated.
006 * @since 6525
007 */
008public interface ProxyPreferenceListener {
009
010    /**
011     * Method called when proxy settings are updated.
012     */
013    public void proxyPreferenceChanged();
014}