From 652d9f66e2e3c1a0d4bec6129c6e2bd5b8c29bca Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 20 Jan 2022 08:05:51 -0500 Subject: Enable help page clicks for non-primitives --- docs/repl.js | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'docs/repl.js') diff --git a/docs/repl.js b/docs/repl.js index fc097829..2bd7d117 100644 --- a/docs/repl.js +++ b/docs/repl.js @@ -129,7 +129,6 @@ let setPrefix = () => { let c = Array.from(d)[1]; let t = d.slice(1+c.length).replace(';','\n'); let k = revkeys[c]; if (k) t += '\n'+prefix+(k==='"'?'"':k); - x.hashelp = i < 64; // comment out after patch for double struck x.title = primhelp[c] = t; }); } @@ -138,9 +137,9 @@ doc.kb.onmousedown = ev => { let t = ev.target; if (t.nodeName === 'SPAN') { if (ev.button || modified(ev)) { - let name = t.title.toLowerCase().replace(/ |\n\\.*/g,'') + let name = t.title.toLowerCase().replace(/ (\(.*)?|\n\\.*/g,'') .replace(/[\n/]/g,'_'); - if (t.hashelp) window.open('help/'+name+'.html'); + window.open('help/'+name+'.html'); return false; } else { return typeChar(doc.code, t.textContent, ev); -- cgit v1.2.3