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}