rem: field.setAttribute("value", aText); 
add: field.value = aText; 
context:   setTextValue: function(aName, aText)  {    var field = document.getElementById("tx_"+aName);    if (field) {      field.setAttribute("value", aText);    }  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/732dc6261a2ac11c9af2f33803020c5eb226df56/domNode.js/buggy/extensions/inspector/resources/content/viewers/domNode/domNode.js