aboutsummaryrefslogtreecommitdiff
path: root/docs/repl.js
diff options
context:
space:
mode:
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