diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-07-02 15:14:37 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-07-02 15:14:37 -0400 |
| commit | d146434b577e11ed97d9e9e5659be05cd23d14ff (patch) | |
| tree | 3d3c281513b5cf1a98f8db083dc025fd9f247dba /docs/repl.js | |
| parent | cb94d67942aee3b03463104b480b42e62826694b (diff) | |
Add map link to REPL keybars
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') { |