Changeset 2875 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/server
- Timestamp:
- 2010-01-18T20:03:38+01:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/server/ProxyPreferencesPanel.java
r2823 r2875 314 314 315 315 if (pp.equals(ProxyPolicy.USE_SYSTEM_SETTINGS) && ! DefaultProxySelector.willJvmRetrieveSystemProxies()) { 316 System.err.println(tr("Warning: JOSM is configured to use proxies from the system setting, but the JVM is not configured to retrieve them. Resetting preferences to ' No proxy'"));316 System.err.println(tr("Warning: JOSM is configured to use proxies from the system setting, but the JVM is not configured to retrieve them. Resetting preferences to ''No proxy''")); 317 317 pp = ProxyPolicy.NO_PROXY; 318 318 rbProxyPolicy.get(pp).setSelected(true);
Note:
See TracChangeset
for help on using the changeset viewer.