diff --git a/lib/codemirror.js b/lib/codemirror.js
index 0d3b7ba5978f515e759385dc4aebd61516d98501..aa125b66e27a9773a0b4ff2168c84f1426bd0a8a 100644
--- a/lib/codemirror.js
+++ b/lib/codemirror.js
@@ -1662,6 +1662,7 @@
         setTimeout(function() {
           cm.display.lineSpace.removeChild(kludge);
           hadFocus.focus();
+          if (hadFocus == div) input.showPrimarySelection()
         }, 50);
       }
       on(div, "copy", onCopyCut);