From b5f3e3dac71c61cceae96ed75e84dfc83c1d0d55 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20M=C3=BCller?= Date: Thu, 16 Aug 2018 22:26:55 +0200 Subject: [PATCH] Shellscript updating --- about.html | 1 - about_us.html | 1 - content.html | 1 - credits.html | 1 - gallery.html | 1 - licensing.html | 1 - playguide.html | 1 - releases.html | 1 - videos.html | 1 - 9 files changed, 9 deletions(-) diff --git a/about.html b/about.html index b52ac0c..4e522f9 100644 --- a/about.html +++ b/about.html @@ -62,7 +62,6 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] - alert(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/about_us.html b/about_us.html index a779617..f4cc272 100644 --- a/about_us.html +++ b/about_us.html @@ -62,7 +62,6 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] - alert(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/content.html b/content.html index 6b8b198..29e86ed 100644 --- a/content.html +++ b/content.html @@ -62,7 +62,6 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] - alert(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/credits.html b/credits.html index 3c67c4a..d74cb89 100644 --- a/credits.html +++ b/credits.html @@ -62,7 +62,6 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] - alert(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/gallery.html b/gallery.html index 52f6458..72f3050 100644 --- a/gallery.html +++ b/gallery.html @@ -62,7 +62,6 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] - alert(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/licensing.html b/licensing.html index 61d0712..129bbf2 100644 --- a/licensing.html +++ b/licensing.html @@ -62,7 +62,6 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] - alert(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/playguide.html b/playguide.html index e82b084..1d56332 100644 --- a/playguide.html +++ b/playguide.html @@ -68,7 +68,6 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] - alert(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/releases.html b/releases.html index 9ed649c..a21b7a9 100644 --- a/releases.html +++ b/releases.html @@ -62,7 +62,6 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] - alert(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/videos.html b/videos.html index 9b4f557..d60570e 100644 --- a/videos.html +++ b/videos.html @@ -62,7 +62,6 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] - alert(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop;