X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Futil%2FBrowserLauncher.java;h=4e035eb8841618cdb1ffbbb49309d8c92ee10fc1;hb=74e4d71835fd0031dd7c309e37ec6bf934e4de4a;hp=b2f532f9a1b99a7c46f025711507b0ebf5754924;hpb=258c0056231d8a97c1d40dd665260e7814d11206;p=jalview.git

diff --git a/src/jalview/util/BrowserLauncher.java b/src/jalview/util/BrowserLauncher.java
index b2f532f..4e035eb 100755
--- a/src/jalview/util/BrowserLauncher.java
+++ b/src/jalview/util/BrowserLauncher.java
@@ -508,7 +508,7 @@ public class BrowserLauncher
   }
 
   /**
-   * Attempts to locate the default web browser on the local system.  Caches results so it
+   * Attempts to locate the default web browser on the local system.    s results so it
    * only locates the browser once for each use of this class per JVM instance.
    * @return The browser for the system.  Note that this may not be what you would consider
    *                        to be a standard web browser; instead, it's the application that gets called to
@@ -696,7 +696,13 @@ public class BrowserLauncher
 
     return browser;
   }
-
+  /**
+   * used to ensure that browser is up-to-date after a configuration
+   * change (Unix DEFAULT_BROWSER property change).
+   */
+  public static void resetBrowser() {
+    browser = null;
+  }
   /**
    * Attempts to open the default web browser to the given URL.
    * @param url The URL to open