rem:  var originalWidth = buttonElement.style.width; var temporaryWidth = parseInt(buttonElement.clientWidth) + 1; buttonElement.style.width = temporaryWidth + "px"; buttonElement.style.width = originalWidth; 
add: if (EchoClientProperties.get("quirkDomPerformanceIERepaint")) { var originalWidth = buttonElement.style.width; var temporaryWidth = parseInt(buttonElement.clientWidth) + 1; buttonElement.style.width = temporaryWidth + "px"; buttonElement.style.width = originalWidth; } 
context: EchoButton.setState = function(buttonElement, newState) {    if (buttonElement.nodeType != 1) {        // Prevent TextNode events.        return;    }    var newStyle, newIcon;    switch (newState) {    case EchoButton.STATE_ROLLOVER:        newStyle = EchoDomPropertyStore.getPropertyValue(buttonElement.id, "rolloverStyle");        newIcon = EchoDomPropertyStore.getPropertyValue(buttonElement.id, "rolloverIcon");        break;    case EchoButton.STATE_PRESSED:        newStyle = EchoDomPropertyStore.getPropertyValue(buttonElement.id, "pressedStyle");        newIcon = EchoDomPropertyStore.getPropertyValue(buttonElement.id, "pressedIcon");        break;    default:        newStyle = EchoDomPropertyStore.getPropertyValue(buttonElement.id, "defaultStyle");        newIcon = EchoDomPropertyStore.getPropertyValue(buttonElement.id, "defaultIcon");    }    if (newStyle) {        EchoButton.applyStyle(buttonElement, newStyle);    }    if (newIcon) {        EchoButton.setIcon(buttonElement.id, newIcon);    }//BUGBUG. IE Performance Hack. (make IE only)        var originalWidth = buttonElement.style.width;    var temporaryWidth = parseInt(buttonElement.clientWidth) + 1;    buttonElement.style.width = temporaryWidth + "px";    buttonElement.style.width = originalWidth;};
meta: 498	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/498/739e7b56a35f8785a3459322449a67ddf039aa8d/Button.js/buggy/src/webcontainer/java/nextapp/echo2/webcontainer/resource/js/Button.js