diff options
Diffstat (limited to 'docs/repl.js')
| -rw-r--r-- | docs/repl.js | 3 |
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 |
