made changes to DEFAULT_BROWSER in user preferences act immediatly (instead of just...

[jalview.git] / src / jalview / gui / Preferences.java

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index f90f09c..c44436d 100755 (executable)
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -195,7 +195,7 @@ public class Preferences extends GPreferences
       Cache.applicationProperties.setProperty("SHOW_STARTUP_FILE",  Boolean.toString(startupCheckbox.isSelected()));\r
 \r
       Cache.applicationProperties.setProperty("DEFAULT_BROWSER", defaultBrowser.getText());\r
-\r
+      jalview.util.BrowserLauncher.resetBrowser();\r
         if(nameLinks.size()>0)\r
         {\r
           StringBuffer links = new StringBuffer();\r
@@ -220,6 +220,11 @@ public class Preferences extends GPreferences
           System.setProperty("http.proxyHost", proxyServerTB.getText());\r
           System.setProperty("http.proxyPort", proxyPortTB.getText());\r
         }\r
+        else\r
+        {\r
+          System.setProperty("http.proxyHost","");\r
+          System.setProperty("http.proxyPort","");\r
+        }\r
 \r
 \r
 \r