diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/index.html | 2 | ||||
| -rw-r--r-- | docs/repl.js | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/docs/index.html b/docs/index.html index 25e4a3b7..a4ec639d 100644 --- a/docs/index.html +++ b/docs/index.html @@ -14,7 +14,7 @@ <div class='cont'> <div class='kb'></div> <div class='rel'> - <textarea class='code' rows='1' autofocus><⟜'a'⊸/ "Big Questions Notation"</textarea> + <textarea class='code' rows='1'><⟜'a'⊸/ "Big Questions Notation"</textarea> <svg class='demo' viewBox='0 -6 4 12'><path d='M1 -6H0L1 0L0 6H1L4 0z'/></svg> </div> <pre class='rslt'>"B Q N"</pre> 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(); } } |