blob: f62b17706f81a6b9ae23fa5cc34e604db58bb348 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
function SetSelection(b,v)
{
if (v){
t = "activeTab";
tab = "selected";
} else {
t = "tab";
tab = "";
}
document.getElementById (b).className = t;
document.getElementById (b + "Tab").className = tab;
}
function ShowContents ()
{
SetSelection ("contents", true);
SetSelection ("index", false);
}
function ShowIndex ()
{
SetSelection ("contents", false);
SetSelection ("index", true);
document.getElementById ('indexInput').focus ();
}
|