From b3d6aed35086ad23b97d6ec7a80e6af036805175 Mon Sep 17 00:00:00 2001
From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Thu, 14 Mar 2019 12:40:43 +0000
Subject: [PATCH] JAL-3056 open Help web page instead of internal (targeted)
 help link

---
 src/jalview/gui/Help.java |   13 +++++++++++++
 1 file changed, 13 insertions(+)

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);
-- 
1.7.10.2