git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
2ce814f
)
JAL-3056 open Help web page instead of internal (targeted) help link
author
gmungoc
<g.m.carstairs@dundee.ac.uk>
Thu, 14 Mar 2019 12:40:43 +0000
(12:40 +0000)
committer
gmungoc
<g.m.carstairs@dundee.ac.uk>
Thu, 14 Mar 2019 12:40:43 +0000
(12:40 +0000)
src/jalview/gui/Help.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/Help.java
b/src/jalview/gui/Help.java
index
810fc92
..
651d265
100644
(file)
--- a/
src/jalview/gui/Help.java
+++ b/
src/jalview/gui/Help.java
@@
-20,7
+20,11
@@
*/
package jalview.gui;
*/
package jalview.gui;
+import jalview.util.BrowserLauncher;
+import jalview.util.Platform;
+
import java.awt.Point;
import java.awt.Point;
+import java.io.IOException;
import java.net.URL;
import javax.help.BadIDException;
import java.net.URL;
import javax.help.BadIDException;
@@
-74,6
+78,15
@@
public class Help
*/
public static void showHelpWindow(HelpId id) throws HelpSetException
{
*/
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);
ClassLoader cl = Desktop.class.getClassLoader();
URL url = HelpSet.findHelpSet(cl, "help/help"); // $NON-NLS-$
HelpSet hs = new HelpSet(cl, url);