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
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
}\r
\r
/**\r
- * Attempts to locate the default web browser on the local system. Caches results so it\r
+ * Attempts to locate the default web browser on the local system. s results so it\r
* only locates the browser once for each use of this class per JVM instance.\r
* @return The browser for the system. Note that this may not be what you would consider\r
* to be a standard web browser; instead, it's the application that gets called to\r
\r
return browser;\r
}\r
-\r
+ /**\r
+ * used to ensure that browser is up-to-date after a configuration\r
+ * change (Unix DEFAULT_BROWSER property change).\r
+ */\r
+ public static void resetBrowser() {\r
+ browser = null;\r
+ }\r
/**\r
* Attempts to open the default web browser to the given URL.\r
* @param url The URL to open\r