rem: if (statusTextFld.getAttribute("value") != text) { statusTextFld.setAttribute("value", text); 
add: if (statusTextFld.label != text) { statusTextFld.label = text; 
context:   updateStatusField : function()  {    var text = this.overLink || this.status || this.jsStatus || this.jsDefaultStatus || this.defaultStatus;    if (!statusTextFld)      statusTextFld = document.getElementById("statusbar-display");    // check the current value so we don't trigger an attribute change    // and cause needless (slow!) UI updates    if (statusTextFld.getAttribute("value") != text) {      statusTextFld.setAttribute("value", text);    }  },
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/0b2dd2b2d2fd037df917e07645fa019a963332a5/navigator.js/buggy/xpfe/browser/resources/content/navigator.js