Path: blob/master/web-gui/buildyourownbotnet/assets/js/codemirror/doc/activebookmark.js
1293 views
// Kludge in HTML5 tag recognition in IE81document.createElement("section");2document.createElement("article");34(function() {5var pending = false, prevVal = null;67function updateSoon() {8if (!pending) {9pending = true;10setTimeout(update, 250);11}12}1314function update() {15pending = false;16var marks = document.getElementById("nav").getElementsByTagName("a"), found;17for (var i = 0; i < marks.length; ++i) {18var mark = marks[i], m;19if (mark.getAttribute("data-default")) {20if (found == null) found = i;21} else if (m = mark.href.match(/#(.*)/)) {22var ref = document.getElementById(m[1]);23if (ref && ref.getBoundingClientRect().top < 50)24found = i;25}26}27if (found != null && found != prevVal) {28prevVal = found;29var lis = document.getElementById("nav").getElementsByTagName("li");30for (var i = 0; i < lis.length; ++i) lis[i].className = "";31for (var i = 0; i < marks.length; ++i) {32if (found == i) {33marks[i].className = "active";34for (var n = marks[i]; n; n = n.parentNode)35if (n.nodeName == "LI") n.className = "active";36} else {37marks[i].className = "";38}39}40}41}4243if (window.addEventListener) {44window.addEventListener("scroll", updateSoon);45window.addEventListener("load", updateSoon);46}47})();484950