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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/3a92c3a805c8ab27b7130b0d83830480cf1f8883/msgHdrViewOverlay.js/buggy/mail/base/content/msgHdrViewOverlay.js