X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FHelp.java;h=810fc92f3c476655bc9919bfdfca61221c7076ac;hb=8dadf27423ca69874dc6a3c9d416974ba5ae767f;hp=8f16e77c6457ee4e4ff23477e7f2c59380a8bc9f;hpb=db4eacee27b836db4126dca551887bfc6652d72a;p=jalview.git diff --git a/src/jalview/gui/Help.java b/src/jalview/gui/Help.java index 8f16e77..810fc92 100644 --- a/src/jalview/gui/Help.java +++ b/src/jalview/gui/Help.java @@ -20,6 +20,7 @@ */ package jalview.gui; +import java.awt.Point; import java.net.URL; import javax.help.BadIDException; @@ -28,17 +29,17 @@ import javax.help.HelpSet; import javax.help.HelpSetException; /** - * Utility class to show the help documentation window. + * Utility class to show the help documentation window * * @author gmcarstairs - * */ public class Help { public enum HelpId { - Home("home"), SequenceFeatureSettings("seqfeatures.settings"), StructureViewer( - "viewingpdbs"); + Home("home"), SequenceFeatureSettings("seqfeatures.settings"), + StructureViewer("viewingpdbs"), PdbFts("pdbfts"), + UniprotFts("uniprotfts"); private String id; @@ -54,9 +55,7 @@ public class Help } } - private static final long HALF_A_MO = 500; // half a second - - private static long lastOpenedTime = 0L; + private static HelpBroker hb; /** * Not instantiable @@ -67,42 +66,50 @@ public class Help } /** - * Show help text in a new window. But do nothing if within half a second of - * the last invocation. - * - * This is a workaround for issue JAL-914 - both Desktop and AlignFrame - * responding to F1 key, resulting in duplicate help windows opened. + * Shows the help window, at the entry specified by the given helpId * * @param id - * TODO * * @throws HelpSetException */ public static void showHelpWindow(HelpId id) throws HelpSetException { - long timeNow = System.currentTimeMillis(); + ClassLoader cl = Desktop.class.getClassLoader(); + URL url = HelpSet.findHelpSet(cl, "help/help"); // $NON-NLS-$ + HelpSet hs = new HelpSet(cl, url); - if (timeNow - lastOpenedTime > HALF_A_MO) + if (hb == null) { - lastOpenedTime = timeNow; - ClassLoader cl = Desktop.class.getClassLoader(); - URL url = HelpSet.findHelpSet(cl, "help/help"); // $NON-NLS-$ - HelpSet hs = new HelpSet(cl, url); + /* + * create help broker first time (only) + */ + hb = hs.createHelpBroker(); + } - HelpBroker hb = hs.createHelpBroker(); - try - { - hb.setCurrentID(id.toString()); - } catch (BadIDException bad) - { - System.out.println("Bad help link: " + id.toString() - + ": must match a target in help.jhm"); - throw bad; - } - hb.setDisplayed(true); + try + { + hb.setCurrentID(id.toString()); + } catch (BadIDException bad) + { + System.out.println("Bad help link: " + id.toString() + + ": must match a target in help.jhm"); + throw bad; } + + /* + * set Help visible - at its current location if it is already shown, + * else at a location as determined by the window manager + */ + Point p = hb.getLocation(); + hb.setLocation(p); + hb.setDisplayed(true); } + /** + * Show the Help window at the root entry + * + * @throws HelpSetException + */ public static void showHelpWindow() throws HelpSetException { showHelpWindow(HelpId.Home);