From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Thu, 14 Mar 2019 12:40:43 +0000 (+0000)
Subject: JAL-3056 open Help web page instead of internal (targeted) help link
X-Git-Tag: Release_2_11_4_0~45^2~18^2~228
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=b3d6aed35086ad23b97d6ec7a80e6af036805175;p=jalview.git

JAL-3056 open Help web page instead of internal (targeted) help link
---

diff --git a/src/jalview/gui/Help.java b/src/jalview/gui/Help.java
index 810fc92..651d265 100644
--- a/src/jalview/gui/Help.java
+++ b/src/jalview/gui/Help.java
@@ -20,7 +20,11 @@
  */
 package jalview.gui;
 
+import jalview.util.BrowserLauncher;
+import jalview.util.Platform;
+
 import java.awt.Point;
+import java.io.IOException;
 import java.net.URL;
 
 import javax.help.BadIDException;
@@ -74,6 +78,15 @@ public class Help
    */
   public static void showHelpWindow(HelpId id) throws HelpSetException
   {
+	if (Platform.isJS())
+	{
+	  try 
+	  {
+		BrowserLauncher.openURL("http://www.jalview.org/help.html");
+	  } catch (IOException e) {}
+	    return;
+	}
+	
     ClassLoader cl = Desktop.class.getClassLoader();
     URL url = HelpSet.findHelpSet(cl, "help/help"); // $NON-NLS-$
     HelpSet hs = new HelpSet(cl, url);