diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/repl.js | 3 | ||||
| -rw-r--r-- | docs/style.css | 2 |
2 files changed, 3 insertions, 2 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 diff --git a/docs/style.css b/docs/style.css index 8928fc26..3b2421ef 100644 --- a/docs/style.css +++ b/docs/style.css @@ -156,7 +156,7 @@ a.key { text-decoration:none; } cursor: pointer; } .highlight { - width: 100%; position: absolute; overflow: auto; + width: 100%; position: absolute; overflow: hidden; margin: 0; border: 1px solid transparent; color: transparent; pointer-events: none; white-space: pre-wrap; word-wrap: break-word; |