From b73eba3fed4a816106ef914eb80dc4da61d2efb8 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Wed, 16 Feb 2022 10:23:25 -0500
Subject: Fix some slight scrolling issues in error highlight

---
 docs/repl.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'docs/repl.js')

diff --git a/docs/repl.js b/docs/repl.js
index ceea08c2..5e891e5c 100644
--- a/docs/repl.js
+++ b/docs/repl.js
@@ -98,8 +98,8 @@ let highlightErr = (s, e) => {
     h.scrollTop  = doc.code.scrollTop;
     h.scrollLeft = doc.code.scrollLeft;
   }
-  scroll(); clear();
 
+  clear();
   let w=e.message, is;
   while (w && (w.loc||(e.kind!=='!'&&w.sh&&w.sh[0]===2))
            && w.src.join('')===s.join('')) { [is,w]=w; }
@@ -116,6 +116,7 @@ let highlightErr = (s, e) => {
     }
     h.append(sl());
   }
+  scroll();
 }
 
 let keymode=0; // 1 for prefix
-- 
cgit v1.2.3