rem:  var initialWidth = parseInt(EchoWindowPane.activeElement.style.width); EchoWindowPane.activeElement.style.width = (initialWidth + 1) + "px"; EchoWindowPane.activeElement.style.width = initialWidth + "px"; 
add: if ("true" == EchoDomPropertyStore.getPropertyValue(EchoWindowPane.activeElement.getAttribute("id"), "quirkResizeOnMove")) {  var initialWidth = parseInt(EchoWindowPane.activeElement.style.width); EchoWindowPane.activeElement.style.width = (initialWidth + 1) + "px"; EchoWindowPane.activeElement.style.width = initialWidth + "px"; } 
context: EchoWindowPane.windowMoveMouseMove = function(e) {    e = (e) ? e : ((window.event) ? window.event : "");    var newX = (EchoWindowPane.initialWindowX + e.clientX - EchoWindowPane.mouseOffsetX);    var newY = (EchoWindowPane.initialWindowY + e.clientY - EchoWindowPane.mouseOffsetY);        newX = newX >= 0 ? newX : 0;    newX = newX <= EchoWindowPane.maxX ? newX : EchoWindowPane.maxX;    newY = newY >= 0 ? newY : 0;    newY = newY <= EchoWindowPane.maxY ? newY : EchoWindowPane.maxY;    EchoWindowPane.activeElement.style.left = newX + "px";    EchoWindowPane.activeElement.style.top = newY + "px";//BUGBUG. IE perf hack...make IE only (though performance/visual effect is negligible on other browsers.    var initialWidth = parseInt(EchoWindowPane.activeElement.style.width);    EchoWindowPane.activeElement.style.width = (initialWidth + 1) + "px";    EchoWindowPane.activeElement.style.width = initialWidth + "px";};
meta: 498	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/498/5a29025895becafefa73b5aa848df15cf5d49c93/WindowPane.js/buggy/src/webcontainer/java/nextapp/echo2/webcontainer/resource/js/WindowPane.js