2 * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
3 * Copyright (C) $$Year-Rel$$ The Jalview Authors
5 * This file is part of Jalview.
7 * Jalview is free software: you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation, either version 3
10 * of the License, or (at your option) any later version.
12 * Jalview is distributed in the hope that it will be useful, but
13 * WITHOUT ANY WARRANTY; without even the implied warranty
14 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
15 * PURPOSE. See the GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with Jalview. If not, see <http://www.gnu.org/licenses/>.
19 * The Jalview Authors are detailed in the 'AUTHORS' file.
25 import javax.help.BadIDException;
26 import javax.help.HelpBroker;
27 import javax.help.HelpSet;
28 import javax.help.HelpSetException;
31 * Utility class to show the help documentation window.
40 Home("home"), SequenceFeatureSettings("seqfeatures.settings"),
41 StructureViewer("viewingpdbs");
45 private HelpId(String loc)
51 public String toString()
57 private static final long HALF_A_MO = 500; // half a second
59 private static long lastOpenedTime = 0L;
70 * Show help text in a new window. But do nothing if within half a second of
71 * the last invocation.
73 * This is a workaround for issue JAL-914 - both Desktop and AlignFrame
74 * responding to F1 key, resulting in duplicate help windows opened.
79 * @throws HelpSetException
81 public static void showHelpWindow(HelpId id) throws HelpSetException
83 long timeNow = System.currentTimeMillis();
85 if (timeNow - lastOpenedTime > HALF_A_MO)
87 lastOpenedTime = timeNow;
88 ClassLoader cl = Desktop.class.getClassLoader();
89 URL url = HelpSet.findHelpSet(cl, "help/help"); // $NON-NLS-$
90 HelpSet hs = new HelpSet(cl, url);
92 HelpBroker hb = hs.createHelpBroker();
95 hb.setCurrentID(id.toString());
96 } catch (BadIDException bad)
98 System.out.println("Bad help link: " + id.toString()
99 + ": must match a target in help.jhm");
102 hb.setDisplayed(true);
106 public static void showHelpWindow() throws HelpSetException
108 showHelpWindow(HelpId.Home);