MediaWiki:Common.js: Unterschied zwischen den Versionen
Aus Populus DE
Zur Navigation springenZur Suche springenThk (Diskussion | Beiträge) |
Thk (Diskussion | Beiträge) |
||
Zeile 1: | Zeile 1: | ||
+ | "use strict"; |
||
− | /* Das folgende JavaScript wird für alle Benutzer geladen. */ |
||
var thkSelectNavListener = e => { |
var thkSelectNavListener = e => { |
Version vom 16. Juli 2023, 10:01 Uhr
"use strict"; var thkSelectNavListener = e => { console.log("hash changed"); var prev = document.querySelector('#toc a.selected'); if (prev !== null) { prev.classList.remove('selected'); } var curr = document.querySelector('#toc a[href="#' + window.location.hash + '"]'); if (curr !== null) { curr.classList.add('selected'); } }; window.addEventListener( "hashchange", thkSelectNavListener, false );