- Timestamp:
- 2017-10-30T23:39:03+01:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/server/ProxyPreferencesPanel.java
r12846 r13063 267 267 .orElse(ProxyPolicy.NO_PROXY); 268 268 rbProxyPolicy.get(pp).setSelected(true); 269 String value = Config.getPref().get("proxy.host", null); 270 if (value != null) { 271 // legacy support 272 tfProxyHttpHost.setText(value); 273 Config.getPref().put("proxy.host", null); 274 } else { 275 tfProxyHttpHost.setText(Config.getPref().get(DefaultProxySelector.PROXY_HTTP_HOST, "")); 276 } 277 value = Config.getPref().get("proxy.port", null); 278 if (value != null) { 279 // legacy support 280 tfProxyHttpPort.setText(value); 281 Config.getPref().put("proxy.port", null); 282 } else { 283 tfProxyHttpPort.setText(Config.getPref().get(DefaultProxySelector.PROXY_HTTP_PORT, "")); 284 } 269 tfProxyHttpHost.setText(Config.getPref().get(DefaultProxySelector.PROXY_HTTP_HOST, "")); 270 tfProxyHttpPort.setText(Config.getPref().get(DefaultProxySelector.PROXY_HTTP_PORT, "")); 285 271 tfProxySocksHost.setText(Config.getPref().get(DefaultProxySelector.PROXY_SOCKS_HOST, "")); 286 272 tfProxySocksPort.setText(Config.getPref().get(DefaultProxySelector.PROXY_SOCKS_PORT, ""));
Note:
See TracChangeset
for help on using the changeset viewer.