main git-pr / static / semdiff.js
Eric Bower  ·  2026-02-25
 1document.addEventListener("click", function (event) {
 2  var link = event.target.closest("[data-open-details]");
 3  if (!link) {
 4    return;
 5  }
 6  var hash = link.getAttribute("href");
 7  if (!hash || hash.charAt(0) !== "#") {
 8    return;
 9  }
10  var target = document.getElementById(hash.slice(1));
11  if (!target) {
12    return;
13  }
14  var details = target.closest("details");
15  if (details && !details.open) {
16    details.open = true;
17  }
18});