From 8d9c46bedc579d269cd30532118cbb337e3afee5 Mon Sep 17 00:00:00 2001
From: Danny Robinson <dannyrobinson@gmx.com>
Date: Sun, 31 Jul 2022 04:36:10 +0100
Subject: [PATCH] Scroll into view on enter keypress in search bar

---
 third_party/chibicc/dox2.c | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/third_party/chibicc/dox2.c b/third_party/chibicc/dox2.c
index 73af41590..2fa461d49 100644
--- a/third_party/chibicc/dox2.c
+++ b/third_party/chibicc/dox2.c
@@ -716,11 +716,18 @@ document.addEventListener('DOMContentLoaded', function () {\n\
     option.setAttribute('value', el.id)\n\
     datalist.appendChild(option)\n\
   })\n\
-  document.getElementById('search').addEventListener('change', function (event) {\n\
+  function scrollIntoView(event) {\n\
     var value = event.target.value\n\
-    if (document.getElementById(value)) {\n\
+    var el = document.getElementById(value) \n\
+    if (el) {\n\
       location.hash = value\n\
+      el.scrollIntoView()\n\
     }\n\
+  }\n\
+  var search = document.getElementById('search')\n\
+  search.addEventListener('change', scrollIntoView)\n\
+  search.addEventListener('keypress', function (event) {\n\
+    if (event.key === 'Enter') scrollIntoView(event)\n\
   })\n\
 })\n\
 </script>\n\n");