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/keymap.html | 2 +- docs/repl.js | 6 +++--- docs/try.html | 9 +++------ 3 files changed, 7 insertions(+), 10 deletions(-) (limited to 'docs') diff --git a/docs/keymap.html b/docs/keymap.html index 6efe233d..89ea2722 100644 --- a/docs/keymap.html +++ b/docs/keymap.html @@ -30,4 +30,4 @@ └───────────┴────┴────┴────┴────┴────┴────┴────┴────┴────┴────┴────────────┘ Space: -

See also the editor plugins (and other input methods) and primitive documentation.

+

See also the editor plugins (and other input methods) and help index.

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(); } diff --git a/docs/try.html b/docs/try.html index 2515f188..3fc040d4 100644 --- a/docs/try.html +++ b/docs/try.html @@ -22,8 +22,8 @@
- - + + permalink
@@ -31,10 +31,7 @@

Notes:

-- cgit v1.2.3