From 07da9a9dd28d75971173a0ef20c7647d4ee1b27e Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Mon, 6 Nov 2023 23:13:10 +0100 Subject: [PATCH] don't use anchor links for reference --- website/src/repl/Reference.jsx | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/website/src/repl/Reference.jsx b/website/src/repl/Reference.jsx index 001166233..cf6fd5b12 100644 --- a/website/src/repl/Reference.jsx +++ b/website/src/repl/Reference.jsx @@ -14,12 +14,20 @@ export function Reference() {
{visibleFunctions.map((entry, i) => ( - + { + const el = document.getElementById(`doc-${i}`); + const container = document.getElementById('reference-container'); + container.scrollTo(0, el.offsetTop); + }} + > {entry.name} {/* {entry.meta.filename} */} ))}
-
+

API Reference