Don't set innerHTML in IE

It damages parent-child relationships in subnodes, which we might still
need later.

Author: marijnh

lib/codemirror.js

@@ -550,9 +550,7 @@ window.CodeMirror = (function() {
   function patchDisplay(cm, from, to, intact, updateNumbersFrom) {
     var dims = getDimensions(cm);
     var display = cm.display, lineNumbers = cm.options.lineNumbers;
-    // IE does bad things to nodes when .innerHTML = "" is used on a parent
-    // we still need widgets and markers intact to add back to the new content later
-    if (!intact.length && !ie && (!webkit || !cm.display.currentWheelTarget))
+    if (!intact.length && (!webkit || !cm.display.currentWheelTarget))
       removeChildren(display.lineDiv);
     var container = display.lineDiv, cur = container.firstChild;
 
@@ -1114,7 +1112,6 @@ window.CodeMirror = (function() {
     }
     removeChildrenAndAdd(display.measure, measureText);
     var height = measureText.offsetHeight / 50;
-    display.measure.removeChild(measureText);
     if (height > 3) display.cachedTextHeight = height;
     removeChildren(display.measure);
     return height || 1;
@@ -4354,7 +4351,9 @@ window.CodeMirror = (function() {
   }
 
   function removeChildren(e) {
-    e.innerHTML = "";
+    // IE will break all parent-child relations in subnodes when setting innerHTML
+    if (!ie) e.innerHTML = "";
+    else while (e.firstChild) e.removeChild(e.firstChild);
     return e;
   }