X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FHelp.java;h=810fc92f3c476655bc9919bfdfca61221c7076ac;hb=e1aa3fdd1ca82abf5acc0cd3c2b86a5ca1083941;hp=cba9c2c02d408d0a2d74b36de61a8a147f2b2509;hpb=e1cb1f4ff4ae05504c806d99395358629c807956;p=jalview.git diff --git a/src/jalview/gui/Help.java b/src/jalview/gui/Help.java index cba9c2c..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; @@ -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);