1 |
|
|
2 |
|
|
3 |
|
|
4 |
|
|
5 |
|
|
6 |
|
|
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
|
15 |
|
|
16 |
|
|
17 |
|
|
18 |
|
|
19 |
|
|
20 |
|
|
21 |
|
package jalview.gui; |
22 |
|
|
23 |
|
import java.net.URL; |
24 |
|
|
25 |
|
import javax.help.BadIDException; |
26 |
|
import javax.help.HelpBroker; |
27 |
|
import javax.help.HelpSet; |
28 |
|
import javax.help.HelpSetException; |
29 |
|
|
30 |
|
|
31 |
|
|
32 |
|
|
33 |
|
@author |
34 |
|
|
35 |
|
|
|
|
| 0% |
Uncovered Elements: 18 (18) |
Complexity: 5 |
Complexity Density: 0.38 |
|
36 |
|
public class Help |
37 |
|
{ |
|
|
| 100% |
Uncovered Elements: 0 (4) |
Complexity: 2 |
Complexity Density: 1 |
|
38 |
|
public enum HelpId |
39 |
|
{ |
40 |
|
Home("home"), SequenceFeatureSettings("seqfeatures.settings"), |
41 |
|
StructureViewer("viewingpdbs"); |
42 |
|
|
43 |
|
private String id; |
44 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
45 |
3 |
private HelpId(String loc)... |
46 |
|
{ |
47 |
3 |
this.id = loc; |
48 |
|
} |
49 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
50 |
3 |
@Override... |
51 |
|
public String toString() |
52 |
|
{ |
53 |
3 |
return this.id; |
54 |
|
} |
55 |
|
} |
56 |
|
|
57 |
|
private static final long HALF_A_MO = 500; |
58 |
|
|
59 |
|
private static long lastOpenedTime = 0L; |
60 |
|
|
61 |
|
|
62 |
|
|
63 |
|
|
|
|
| - |
Uncovered Elements: 0 (0) |
Complexity: 1 |
Complexity Density: - |
|
64 |
0 |
private Help()... |
65 |
|
{ |
66 |
|
|
67 |
|
} |
68 |
|
|
69 |
|
|
70 |
|
|
71 |
|
|
72 |
|
|
73 |
|
|
74 |
|
|
75 |
|
|
76 |
|
@param |
77 |
|
|
78 |
|
|
79 |
|
@throws |
80 |
|
|
|
|
| 0% |
Uncovered Elements: 14 (14) |
Complexity: 3 |
Complexity Density: 0.25 |
|
81 |
0 |
public static void showHelpWindow(HelpId id) throws HelpSetException... |
82 |
|
{ |
83 |
0 |
long timeNow = System.currentTimeMillis(); |
84 |
|
|
85 |
0 |
if (timeNow - lastOpenedTime > HALF_A_MO) |
86 |
|
{ |
87 |
0 |
lastOpenedTime = timeNow; |
88 |
0 |
ClassLoader cl = Desktop.class.getClassLoader(); |
89 |
0 |
URL url = HelpSet.findHelpSet(cl, "help/help"); |
90 |
0 |
HelpSet hs = new HelpSet(cl, url); |
91 |
|
|
92 |
0 |
HelpBroker hb = hs.createHelpBroker(); |
93 |
0 |
try |
94 |
|
{ |
95 |
0 |
hb.setCurrentID(id.toString()); |
96 |
|
} catch (BadIDException bad) |
97 |
|
{ |
98 |
0 |
System.out.println("Bad help link: " + id.toString() |
99 |
|
+ ": must match a target in help.jhm"); |
100 |
0 |
throw bad; |
101 |
|
} |
102 |
0 |
hb.setDisplayed(true); |
103 |
|
} |
104 |
|
} |
105 |
|
|
|
|
| 0% |
Uncovered Elements: 1 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
106 |
0 |
public static void showHelpWindow() throws HelpSetException... |
107 |
|
{ |
108 |
0 |
showHelpWindow(HelpId.Home); |
109 |
|
} |
110 |
|
} |