diff --git a/src/external/code-mirror/lib/codemirror.js b/src/external/code-mirror/lib/codemirror.js index 45e462386..18b973204 100644 --- a/src/external/code-mirror/lib/codemirror.js +++ b/src/external/code-mirror/lib/codemirror.js @@ -4090,7 +4090,7 @@ var active = activeElt(root(cm)); if (!active // #Lively4 #Vitrail #Hack needed for restoring focus when codemirror panes are in codemirror - || !contains(cm.display.lineDiv, active) + // || !contains(cm.display.lineDiv, active) ) { return null } var result = {activeElt: active}; if (window.getSelection) {