rem: if (EchoClientProperties.get("quirkDomPerformanceIERepaint")) { 
add: if (EchoClientProperties.get("quirkIERepaint")) { 
context: EchoWindowPane.processTitleDragMouseMove = 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";    if (EchoClientProperties.get("quirkDomPerformanceIERepaint")) {        // Tickle width to force repaint for IE repaint, resulting in aesthetic performance increase.	    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/42861aa28475175731a1f07dfd614e365b2e3154/WindowPane.js/buggy/src/webcontainer/java/nextapp/echo2/webcontainer/resource/js/WindowPane.js