From 1402060fb2ca7b2639ef98da3e22766d01149b16 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Fri, 19 Aug 2005 08:56:34 +0000
Subject: [PATCH] Reset browser every time

---
 src/jalview/gui/Preferences.java |    3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index 32052f7..bf26c0d 100755
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -197,11 +197,10 @@ public class Preferences extends GPreferences
       if(defaultBrowser.getText().trim().length()<1)
         Cache.applicationProperties.remove("DEFAULT_BROWSER");
       else
-      {
         Cache.applicationProperties.setProperty("DEFAULT_BROWSER",
                                                 defaultBrowser.getText());
+
         jalview.util.BrowserLauncher.resetBrowser();
-      }
 
         if(nameLinks.size()>0)
         {
-- 
1.7.10.2