aboutsummaryrefslogtreecommitdiff
path: root/docs/repl.js
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2022-02-16 10:23:25 -0500
committerMarshall Lochbaum <mwlochbaum@gmail.com>2022-02-16 10:23:25 -0500
commitb73eba3fed4a816106ef914eb80dc4da61d2efb8 (patch)
treebbaa27ff5e04427a473fbd15c2213e9b8eaa1a1f /docs/repl.js
parentf0792e5fd977ca43480b898516abbf7300902c08 (diff)
Fix some slight scrolling issues in error highlight
Diffstat (limited to 'docs/repl.js')
-rw-r--r--docs/repl.js3
1 files changed, 2 insertions, 1 deletions
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