add:  node = document.getElementById("fileAttachmentMenu"); if (node) node.setAttribute("disabled", "true");  
context: function ClearAttachmentList() {   // clear selection  var list = document.getElementById('attachmentList');  while (list.hasChildNodes())     list.removeChild(list.lastChild);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/7f8bd3a7919236af8e5c419a88bc6c98a532175b/msgHdrViewOverlay.js/buggy/mail/base/content/msgHdrViewOverlay.js