diff options
Diffstat (limited to 'docs/repl.js')
| -rw-r--r-- | docs/repl.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/repl.js b/docs/repl.js index c3dbe1e2..6ed4f725 100644 --- a/docs/repl.js +++ b/docs/repl.js @@ -54,9 +54,11 @@ if (doc.doexplain) doc.doexplain.onclick = () => { e.innerHTML = s?drawEval(s,c).map(l=>l.join("")).join("\n"):''; setTimeout(() => { e.querySelectorAll('tspan').forEach(t => { - let h = primhelp[t.textContent]; + let c = t.textContent, h = primhelp[c]; if (!h) return; t.innerHTML = t.textContent+'<title>'+h+'</title>'; + t.classList.add('clickable'); + t.onclick = ev => { window.open('help/'+helpurl[c]+'.html'); } }); }, 0); } |
