diff options
| -rw-r--r-- | docs/repl.js | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/repl.js b/docs/repl.js index 67df5dd2..b65bb6e5 100644 --- a/docs/repl.js +++ b/docs/repl.js @@ -147,13 +147,15 @@ if (doc.demo) doc.demo.onclick = () => { } if (location.hash) { - let code='', run=1; + let code='', run=1, ee=0; location.hash.slice(1).split('&').map(s => { if (s.slice(0,5)==='code=') code=s.slice(5); - if (s.slice(0,3)==='norun') run=0; + if (s.slice(0,5)==='norun') run=0; + if (s.slice(0,7)==='explain') ee=1; }); let b=atob(code); b=new Uint8Array([...b].map(c=>c.charCodeAt(0))); setcount(doc.code.value = (new TextDecoder()).decode(b)); + if (ee && doc.doexplain) doc.doexplain.onclick(); if (run) repl(); } |