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 * @since 10600 (functional interface)
008 */
009@FunctionalInterface
010public interface ProxyPreferenceListener {
011
012    /**
013     * Method called when proxy settings are updated.
014     */
015    void proxyPreferenceChanged();
016}