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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a53f6ed3b92bbedaed7a32774dedce5c90c9040f/navigator.js/clean/suite/browser/navigator.js