From d146434b577e11ed97d9e9e5659be05cd23d14ff Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Fri, 2 Jul 2021 15:14:37 -0400
Subject: Add map link to REPL keybars

---
 docs/repl.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/repl.js')

diff --git a/docs/repl.js b/docs/repl.js
index ad552d28..85354395 100644
--- a/docs/repl.js
+++ b/docs/repl.js
@@ -116,7 +116,7 @@ doc.kb.innerHTML = keydesc.map(d=>{
   let k = revkeys[c]; if (k) t += '\n\\ '+(k==='"'?'&quot;':k);
   primhelp[c] = t;
   return '<span title="'+t+'" class="'+s+'">'+c+'</span>'
-}).join("&#8203;"); // zero-width space
+}).concat(['<a href="keymap.html" target="_blank">map</span>']).join("&#8203;"); // zero-width space
 doc.kb.onmousedown = ev => {
   let t = ev.target;
   if (t.nodeName === 'SPAN') {
-- 
cgit v1.2.3