added jalview.browser property so a linux user can choose which browser they want...

[jalview.git] / src / jalview / util / BrowserLauncher.java

diff --git a/src/jalview/util/BrowserLauncher.java b/src/jalview/util/BrowserLauncher.java
index b169dc4..bba5727 100755 (executable)
--- a/src/jalview/util/BrowserLauncher.java
+++ b/src/jalview/util/BrowserLauncher.java
@@ -193,6 +193,7 @@ public class BrowserLauncher {
          */
         private static final String NETSCAPE_REMOTE_PARAMETER = "-remote";
         private static final String NETSCAPE_OPEN_PARAMETER_START = "openURL(";
+        private static final String NETSCAPE_OPEN_NEW_WINDOW = ", new-window";
         private static final String NETSCAPE_OPEN_PARAMETER_END = ")";
 
         /**
@@ -466,7 +467,11 @@ public class BrowserLauncher {
                                 break;
                         case OTHER:
                         default:
-                                browser = "netscape";
+                                browser = jalview.bin.Cache.applicationProperties.getProperty("jalview.browser");
+                                if (browser==null) {
+                                  // hope netscape exists :-/
+                                  browser = "netscape";
+                                }
                                 break;
                 }
                 return browser;
@@ -563,6 +568,7 @@ public class BrowserLauncher {
                                                                                                         NETSCAPE_REMOTE_PARAMETER,
                                                                                                         NETSCAPE_OPEN_PARAMETER_START +
                                                                                                         url +
+                                                                                                        NETSCAPE_OPEN_NEW_WINDOW +
                                                                                                         NETSCAPE_OPEN_PARAMETER_END });
                                 try {
                                         int exitCode = process.waitFor();