make the position of nodes added with addWidget more stable

Author: marijnh

lib/codemirror.js

@@ -143,8 +143,9 @@ var CodeMirror = (function() {
       lineInfo: lineInfo,
       addWidget: function(pos, node, scroll) {
         var pos = localCoords(clipPos(pos), true);
-        node.style.top = pos.yBot + "px"; node.style.left = pos.x + "px";
-        lineSpace.appendChild(node);
+        node.style.top = (showingFrom * lineHeight() + pos.yBot + paddingTop()) + "px";
+        node.style.left = (pos.x + paddingLeft()) + "px";
+        code.appendChild(node);
         if (scroll)
           scrollIntoView(pos.x, pos.yBot, pos.x + node.offsetWidth, pos.yBot + node.offsetHeight);
       },