Shellscript updating

This commit is contained in:
Lars Müller 2018-08-16 22:31:01 +02:00
parent b5f3e3dac7
commit f97c1daa75
9 changed files with 9 additions and 0 deletions

View File

@ -62,6 +62,7 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
console.log(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;

View File

@ -62,6 +62,7 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
console.log(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;

View File

@ -62,6 +62,7 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
console.log(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;

View File

@ -62,6 +62,7 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
console.log(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;

View File

@ -62,6 +62,7 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
console.log(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;

View File

@ -62,6 +62,7 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
console.log(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;

View File

@ -68,6 +68,7 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
console.log(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;

View File

@ -62,6 +62,7 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
console.log(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;

View File

@ -62,6 +62,7 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
console.log(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;