From 33a5fad736daee03ca45281a438fc270279c056e Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 25 Feb 2022 18:57:09 -0500 Subject: Add title text to various REPL things and simplify the try.html notes --- docs/repl.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/repl.js') diff --git a/docs/repl.js b/docs/repl.js index 79e5781b..b6e54d6b 100644 --- a/docs/repl.js +++ b/docs/repl.js @@ -159,7 +159,7 @@ let keys={}, revkeys={}, primhelp={}, helpurl={}; kk.map((k,i)=>{keys[k]=kv[i];revkeys[kv[i]]=k;}); doc.kb.innerHTML = keydesc .map(d=>''+Array.from(d)[1]+'') - .concat(['map']) + .concat(['map']) .join("​"); // zero-width space let setPrefix = () => { doc.kb.querySelectorAll("a.key").forEach((x,i) => { @@ -185,7 +185,7 @@ doc.kbext = doc.kb.querySelector('.kbext'); if (doc.demo) { let fonts=[["BQN386"],["DejaVu","Mod"],["Fairfax","HD"],["3270","font"],["Iosevka","Term"],["Julia","Mono"]]; let fclass = f => f==="3270"?"f"+f:f - let fontsel = ''+fonts.map(f => '' ).join("")+'select'; appendHTML(doc.kbext, fontsel); @@ -193,7 +193,7 @@ if (doc.demo) { e=>doc.cont.className='cont '+fclass(e.target.value); } -appendHTML(doc.kbext, ''); +appendHTML(doc.kbext, ''); doc.kbext.querySelector(".prfx").onchange = ev => { prefix = ev.target.value; setPrefix(); } -- cgit v1.2.3