-
Notifications
You must be signed in to change notification settings - Fork 2
/
morph.js
54 lines (46 loc) · 1.27 KB
/
morph.js
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
function setDisplay(className, val) {
var elts = document.getElementsByClassName(className);
for (var j = 0; j < elts.length; j++) {
elts[j].style.display = val;
}
}
function checker(ch, lang) { // force closure capture
return function () {
setDisplay(lang, (ch.checked) ? "table-cell" : "none");
}
}
function makeMorpher(langs, showLangs) {
var morpher = document.getElementById("morpher");
for (var i = 0; i < langs.length; i++) {
var lang = langs[i];
var label = document.createElement("label");
var ch = document.createElement("input");
ch.type = "checkbox";
ch.onclick = checker(ch, lang);
if (showLangs.indexOf(lang) > -1) {
ch.checked = true;
} else {
setDisplay(lang, "none");
}
label.appendChild(ch);
label.appendChild(document.createTextNode(lang));
morpher.appendChild(label);
}
}
var scrollsel = -1;
function makeToCScroller(ids) {
var tocLinks = document.getElementById("toc").getElementsByTagName("a");
window.onscroll = function () {
var i;
for (i = 0; i < ids.length; i++) {
if (document.getElementById(ids[i]).getBoundingClientRect().top > 10)
break;
}
i--;
if (i != scrollsel) {
if (i != -1) tocLinks[i].className = "ts";
if (scrollsel != -1) tocLinks[scrollsel].className = "";
scrollsel = i;
}
}
}