From fbb79d6039d1dbaef3fc88cecbcb314ffc8df743 Mon Sep 17 00:00:00 2001 From: David Wu Date: Wed, 20 Dec 2017 01:48:48 +0100 Subject: [PATCH] build --- docs/index.html | 8 -------- 1 file changed, 8 deletions(-) diff --git a/docs/index.html b/docs/index.html index cb490fe35..ea0620ec6 100644 --- a/docs/index.html +++ b/docs/index.html @@ -30,14 +30,6 @@ tags = Array.from(document.querySelector('#snippetListDrawer').getElementsByTagName('a')); tags.forEach(x => {x.getAttribute("href").toUpperCase().indexOf(filter) > -1 ? x.style.display = "" : x.style.display = "none"}); - // for(var i = 0; i < tags.length; i++) { - // var snippetLink = tags[i].getAttribute("href"); - // if (snippetLink.toUpperCase().indexOf(filter) > -1) { - // tags[i].style.display = ""; - // } else { - // tags[i].style.display = "none"; - // } - // } }