X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fbin%2FJalview.java;h=458e5873fcf41473bf2af6177ac23c76c7e5987d;hb=892a62261b740199fbc664c012107ae4392b7521;hp=357f0e43753a4375226ed55c0153ff6d32a60a43;hpb=853cdaf827241e4bf51d9a1fef32a395cb72cf45;p=jalview.git

diff --git a/src/jalview/bin/Jalview.java b/src/jalview/bin/Jalview.java
index 357f0e4..458e587 100755
--- a/src/jalview/bin/Jalview.java
+++ b/src/jalview/bin/Jalview.java
@@ -49,6 +49,7 @@ import javax.swing.UIManager.LookAndFeelInfo;
 
 import com.threerings.getdown.util.LaunchUtil;
 
+import edu.stanford.ejalbert.launching.IBrowserLaunching;
 import groovy.lang.Binding;
 import groovy.util.GroovyScriptEngine;
 import jalview.ext.so.SequenceOntology;
@@ -69,6 +70,7 @@ import jalview.io.NewickFile;
 import jalview.io.gff.SequenceOntologyFactory;
 import jalview.schemes.ColourSchemeI;
 import jalview.schemes.ColourSchemeProperty;
+import jalview.util.BrowserLauncher;
 import jalview.util.ChannelProperties;
 import jalview.util.HttpUtils;
 import jalview.util.MessageManager;
@@ -482,7 +484,7 @@ public class Jalview
         }
 
         if (!aparser.contains("nohtmltemplates")
-              || Cache.getProperty("NOHTMLTEMPLATES") == null)
+                || Cache.getProperty("NOHTMLTEMPLATES") == null)
         {
           BioJsHTMLOutput.updateBioJS();
         }
@@ -508,6 +510,15 @@ public class Jalview
       }.start();
     }
 
+    // set default browser
+    String defaultBrowser = Cache.getProperty("DEFAULT_BROWSER");
+    if (defaultBrowser != null)
+    {
+      System.setProperty(IBrowserLaunching.BROWSER_SYSTEM_PROPERTY,
+              defaultBrowser);
+      BrowserLauncher.resetBrowser();
+    } // don't clearProperty if DEFAULT_BROWSER is null, might be set by user
+
     String file = null, data = null;
     FileFormatI format = null;
     DataSourceType protocol = null;
@@ -1121,7 +1132,8 @@ public class Jalview
               @Override
               public void run()
               {
-                Console.debug("Initialising googletracker for usage stats.");
+                Console.debug(
+                        "Initialising googletracker for usage stats.");
                 Cache.initGoogleTracker();
                 Console.debug("Tracking enabled.");
               }