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}