source: josm/trunk/src/org/openstreetmap/josm/gui/preferences/server/ProxyPreferenceListener.java@ 6883

Last change on this file since 6883 was 6525, checked in by Don-vip, 10 years ago

fix server preferences dialog broken in r6523 + reload MOTD after proxy update if it fails because of a proxy error

File size: 351 bytes
Line 
1// License: GPL. For details, see LICENSE file.
2package org.openstreetmap.josm.gui.preferences.server;
3
4/**
5 * Listener called when proxy settings are updated.
6 * @since 6525
7 */
8public interface ProxyPreferenceListener {
9
10 /**
11 * Method called when proxy settings are updated.
12 */
13 public void proxyPreferenceChanged();
14}
Note: See TracBrowser for help on using the repository browser.