const url = new URL(element.href)
const id = url.hash.substring(1)
const elfind = document.getElementById(id + '-parent')
const elfind2 = document.getElementById(id)
if (elfind === null && elfind2 === null) {
return true;
}
window.gitlist.scrollIntoView(elfind || elfind2);
if (event !== undefined) {
event.preventDefault()
window.gitlist.pushHash(url.hash)
}
return false;
}
