diff options
Diffstat (limited to 'docs/repl.js')
| -rw-r--r-- | docs/repl.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/repl.js b/docs/repl.js index 6b6e1332..0627d87e 100644 --- a/docs/repl.js +++ b/docs/repl.js @@ -159,5 +159,6 @@ if (location.hash) { setcount(doc.code.value = (new TextDecoder()).decode(b)); if (ee && doc.doexplain) doc.doexplain.onclick(); if (run) repl(); + doc.code.focus(); } } |