╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ script.js ────────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯
461 // an in-page link doesn't also trigger a redundant full page load. 462 event.preventDefault(); 463 const focusId = Number(span.dataset.focusId); 464 wasmInstance.exports._onMouseClick(focusId); 465 wasmInstance.exports._tick(minRows(), maxCols()); 466 }); 467 468 let resizeTimer = null; 469 window.addEventListener("resize", () => { 470 clearTimeout(resizeTimer); 471 resizeTimer = setTimeout(() => { 472 wasmInstance.exports._tick(minRows(), maxCols()); 473 }, 100); 474 }); 475 }); 476