context:     mutateAttr: function(target, attrChange, attrName, attrValue)    {                // Every time the user scrolls we get this pointless mutation event, which        // is only bad for performance        if (attrName == "curpos")            return;        if (FBTrace.DBG_HTML)                                                                                          /*@explore*/            FBTrace.sysout("\nhtml.mutateAttr target:"+target+" attrChange:"+attrChange+" attrName:"+attrName+"\n");   /*@explore*/                this.markChange();        var objectNodeBox = Firebug.scrollToMutations || Firebug.expandMutations            ? this.ioBox.createObjectBox(target)            : this.ioBox.findObjectBox(target);        if (!objectNodeBox)            return;        if (isVisible(objectNodeBox.repObject))            removeClass(objectNodeBox, "nodeHidden");        else            setClass(objectNodeBox, "nodeHidden");                if (attrChange == MODIFICATION || attrChange == ADDITION)        {            var nodeAttr = findNodeAttrBox(objectNodeBox, attrName);            if (nodeAttr && nodeAttr.childNodes.length > 3)            {                var attrValueBox = nodeAttr.childNodes[3];                var attrValueText = nodeAttr.childNodes[3].firstChild;                if (attrValueText)                    attrValueText.nodeValue = attrValue;                this.highlightMutation(attrValueBox, objectNodeBox, "mutated");            }            else            {                var attr = target.getAttributeNode(attrName);                if (attr)                {                    var nodeAttr = Firebug.HTMLPanel.AttrNode.tag.replace({attr: attr},                            this.document);                    var labelBox = objectNodeBox.firstChild.lastChild;                    var bracketBox = getChildByClass(labelBox, "nodeBracket");                    labelBox.insertBefore(nodeAttr, bracketBox);                    this.highlightMutation(nodeAttr, objectNodeBox, "mutated");                }            }        }        else if (attrChange == REMOVAL)        {            var nodeAttr = findNodeAttrBox(objectNodeBox, attrName);            if (nodeAttr)            {                nodeAttr.parentNode.removeChild(nodeAttr);                                this.highlightMutation(objectNodeBox, objectNodeBox, "mutated");            }        }    },
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/html.js/buggy/extension/content/firebug/html.js