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