From f8c3009222c71c05e4614de7a770ac0b90b3d7a1 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Fri, 19 Aug 2016 10:38:35 +0200
Subject: [PATCH] Prevent clearing of selection after focus-textarea copy
kludge
---
lib/codemirror.js | 1 +
1 file changed, 1 insertion(+)
diff --git a/lib/codemirror.js b/lib/codemirror.js
index 0d3b7ba59..aa125b66e 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);
--
GitLab