diff options
Diffstat (limited to 'docs/repl.js')
| -rw-r--r-- | docs/repl.js | 2 |
1 files changed, 1 insertions, 1 deletions
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==='"'?'"':k); primhelp[c] = t; return '<span title="'+t+'" class="'+s+'">'+c+'</span>' -}).join("​"); // zero-width space +}).concat(['<a href="keymap.html" target="_blank">map</span>']).join("​"); // zero-width space doc.kb.onmousedown = ev => { let t = ev.target; if (t.nodeName === 'SPAN') { |