rem: onEditFilter(); 
add: var t = event.originalTarget;  if (t.parentNode.parentNode.localName == "treeitem") onEditFilter(); 
context: function onFilterDoubleClick(event){    onEditFilter();}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/d753791bebf0d5b417b61b9fc59f25db5513a039/FilterListDialog.js/clean/mailnews/base/search/resources/content/FilterListDialog.js