rem: if ("true" == EchoDomPropertyStore.getPropertyValue(EchoWindowPane.activeElement.getAttribute("id"), "quirkResizeOnMove")) {  
add: if (EchoClientProperties.get("quirkDomPerformanceIERepaint")) {  
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";    if ("true" == EchoDomPropertyStore.getPropertyValue(EchoWindowPane.activeElement.getAttribute("id"), "quirkResizeOnMove")) {        // Tickle window size for dramatic performance increase in Internet Explorer.	    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/739e7b56a35f8785a3459322449a67ddf039aa8d/WindowPane.js/clean/src/webcontainer/java/nextapp/echo2/webcontainer/resource/js/WindowPane.js