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