diff options
Diffstat (limited to 'js/gui.js')
| -rw-r--r-- | js/gui.js | 10 |
1 files changed, 4 insertions, 6 deletions
@@ -6,10 +6,8 @@ function changeTab() { var id = window.location.hash.substr(4); var tabs = document.querySelectorAll("#tabs-panel > ul > li"); for(var i=0; i < tabs.length; i++) { - if(i == id-1) - tabs[i].className = "active"; - else - tabs[i].className = ""; + if(i == id-1) tabs[i].classList.add("active"); // Doesn't work with IE < 10 (and Opera Mini), but who cares? + else tabs[i].classList.remove("active"); } } @@ -17,7 +15,7 @@ function changeTab() { function showMessage(type, msg) { var msg_box = document.getElementById(type+"-box"); msg_box.style.display = "initial"; - var msg_list = msg_box.firstElementChild.firstElementChild.firstElementChild; + var msg_list = msg_box.firstElementChild.firstElementChild; msg_list.innerHTML = "<li>" + msg + "</li>\n" + msg_list.innerHTML; window.setTimeout(hideMessage.bind(null, type), MESSAGE_TIMEOUT); @@ -25,7 +23,7 @@ function showMessage(type, msg) { function hideMessage(type) { var msg_box = document.getElementById(type+"-box"); - var msg_list = msg_box.firstElementChild.firstElementChild.firstElementChild; + var msg_list = msg_box.firstElementChild.firstElementChild; var item = msg_list.lastElementChild; msg_list.removeChild(item); |