Fix keybar clicks destroying cursor position in Chrome

1 files changed, 1 insertions, 1 deletions

diff --git a/docs/repl.js b/docs/repl.js
index 7eb55471..143068b1 100644
--- a/docs/repl.js
+++ b/docs/repl.js
@@ -107,7 +107,6 @@ doc.code.onkeydown = ev => {
   }
 }
 let typeChar = (t, c, ev) => {
-  ev.preventDefault();
   let v = t.value;
   let i = t.selectionStart;
   t.value = v.slice(0,i)+c+v.slice(t.selectionEnd);
@@ -135,6 +134,7 @@ let setPrefix = () => {
     let k = revkeys[c]; if (k) t += '\n'+prefix+(k==='"'?'"':k);
     x.title = primhelp[c] = t;
     x.href = helpurl[c] = 'help/'+h+'.html';
+    x.onmousedown = ev => ev.preventDefault(); // don't take focus
     x.onclick = ev => ev.button || modified(ev) ? true
                     : typeChar(doc.code, c, ev);
   });