diff --git a/lib/codemirror.js b/lib/codemirror.js
index 0aeaed392f5e1cea59df7eee9d3732075aeea568..8bcee1443c42777e6df6806d86b0dc87a8191c7d 100644
--- a/lib/codemirror.js
+++ b/lib/codemirror.js
@@ -1723,6 +1723,7 @@ window.CodeMirror = (function() {
     }
     if (clickInGutter(cm, e)) return;
     var start = posFromMouse(cm, e);
+    window.focus();
 
     switch (e_button(e)) {
     case 3: