Changeset 12805 in josm for trunk/src/org/openstreetmap/josm/gui/preferences
- Timestamp:
- 2017-09-09T17:12:43+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/server/ProxyPreferencesPanel.java
r12620 r12805 16 16 import java.net.ProxySelector; 17 17 import java.util.EnumMap; 18 import java.util.Locale;19 18 import java.util.Map; 20 19 import java.util.Optional; … … 33 32 import org.openstreetmap.josm.gui.widgets.VerticallyScrollablePanel; 34 33 import org.openstreetmap.josm.io.DefaultProxySelector; 34 import org.openstreetmap.josm.io.ProxyPolicy; 35 35 import org.openstreetmap.josm.io.auth.CredentialsAgent; 36 36 import org.openstreetmap.josm.io.auth.CredentialsAgentException; … … 54 54 } 55 55 } 56 57 /**58 * The proxy policy is how JOSM will use proxy information.59 */60 public enum ProxyPolicy {61 /** No proxy: JOSM will access Internet resources directly */62 NO_PROXY("no-proxy"),63 /** Use system settings: JOSM will use system proxy settings */64 USE_SYSTEM_SETTINGS("use-system-settings"),65 /** Use HTTP proxy: JOSM will use the given HTTP proxy, configured manually */66 USE_HTTP_PROXY("use-http-proxy"),67 /** Use HTTP proxy: JOSM will use the given SOCKS proxy */68 USE_SOCKS_PROXY("use-socks-proxy");69 70 private final String policyName;71 72 ProxyPolicy(String policyName) {73 this.policyName = policyName;74 }75 76 /**77 * Replies the policy name, to be stored in proxy preferences.78 * @return the policy unique name79 */80 public String getName() {81 return policyName;82 }83 84 /**85 * Retrieves a proxy policy from its name found in preferences.86 * @param policyName The policy name87 * @return The proxy policy matching the given name, or {@code null}88 */89 public static ProxyPolicy fromName(String policyName) {90 if (policyName == null) return null;91 policyName = policyName.trim().toLowerCase(Locale.ENGLISH);92 for (ProxyPolicy pp: values()) {93 if (pp.getName().equals(policyName))94 return pp;95 }96 return null;97 }98 }99 100 /** Property key for proxy policy */101 public static final String PROXY_POLICY = "proxy.policy";102 /** Property key for HTTP proxy host */103 public static final String PROXY_HTTP_HOST = "proxy.http.host";104 /** Property key for HTTP proxy port */105 public static final String PROXY_HTTP_PORT = "proxy.http.port";106 /** Property key for SOCKS proxy host */107 public static final String PROXY_SOCKS_HOST = "proxy.socks.host";108 /** Property key for SOCKS proxy port */109 public static final String PROXY_SOCKS_PORT = "proxy.socks.port";110 /** Property key for proxy username */111 public static final String PROXY_USER = "proxy.user";112 /** Property key for proxy password */113 public static final String PROXY_PASS = "proxy.pass";114 /** Property key for proxy exceptions list */115 public static final String PROXY_EXCEPTIONS = "proxy.exceptions";116 56 117 57 private transient Map<ProxyPolicy, JRadioButton> rbProxyPolicy; … … 324 264 */ 325 265 public final void initFromPreferences() { 326 ProxyPolicy pp = Optional.ofNullable(ProxyPolicy.fromName(Main.pref.get(PROXY_POLICY, null))).orElse(ProxyPolicy.NO_PROXY); 266 ProxyPolicy pp = Optional.ofNullable(ProxyPolicy.fromName(Main.pref.get(DefaultProxySelector.PROXY_POLICY, null))) 267 .orElse(ProxyPolicy.NO_PROXY); 327 268 rbProxyPolicy.get(pp).setSelected(true); 328 269 String value = Main.pref.get("proxy.host", null); … … 332 273 Main.pref.put("proxy.host", null); 333 274 } else { 334 tfProxyHttpHost.setText(Main.pref.get( PROXY_HTTP_HOST, ""));275 tfProxyHttpHost.setText(Main.pref.get(DefaultProxySelector.PROXY_HTTP_HOST, "")); 335 276 } 336 277 value = Main.pref.get("proxy.port", null); … … 340 281 Main.pref.put("proxy.port", null); 341 282 } else { 342 tfProxyHttpPort.setText(Main.pref.get( PROXY_HTTP_PORT, ""));343 } 344 tfProxySocksHost.setText(Main.pref.get( PROXY_SOCKS_HOST, ""));345 tfProxySocksPort.setText(Main.pref.get( PROXY_SOCKS_PORT, ""));283 tfProxyHttpPort.setText(Main.pref.get(DefaultProxySelector.PROXY_HTTP_PORT, "")); 284 } 285 tfProxySocksHost.setText(Main.pref.get(DefaultProxySelector.PROXY_SOCKS_HOST, "")); 286 tfProxySocksPort.setText(Main.pref.get(DefaultProxySelector.PROXY_SOCKS_PORT, "")); 346 287 347 288 if (pp.equals(ProxyPolicy.USE_SYSTEM_SETTINGS) && !DefaultProxySelector.willJvmRetrieveSystemProxies()) { … … 417 358 } 418 359 } 419 Main.pref.put( PROXY_POLICY, Optional.ofNullable(policy).orElse(ProxyPolicy.NO_PROXY).getName());420 Main.pref.put( PROXY_HTTP_HOST, tfProxyHttpHost.getText());421 Main.pref.put( PROXY_HTTP_PORT, tfProxyHttpPort.getText());422 Main.pref.put( PROXY_SOCKS_HOST, tfProxySocksHost.getText());423 Main.pref.put( PROXY_SOCKS_PORT, tfProxySocksPort.getText());360 Main.pref.put(DefaultProxySelector.PROXY_POLICY, Optional.ofNullable(policy).orElse(ProxyPolicy.NO_PROXY).getName()); 361 Main.pref.put(DefaultProxySelector.PROXY_HTTP_HOST, tfProxyHttpHost.getText()); 362 Main.pref.put(DefaultProxySelector.PROXY_HTTP_PORT, tfProxyHttpPort.getText()); 363 Main.pref.put(DefaultProxySelector.PROXY_SOCKS_HOST, tfProxySocksHost.getText()); 364 Main.pref.put(DefaultProxySelector.PROXY_SOCKS_PORT, tfProxySocksPort.getText()); 424 365 425 366 // update the proxy selector
Note:
See TracChangeset
for help on using the changeset viewer.