rem: if (event.button != 0 || event.originalTarget.localName != "treechildren") 
add: if (event.button != 0) 
context: function onFilterDoubleClick(event){    // we only care about button 0 (left click) events    if (event.button != 0 || event.originalTarget.localName != "treechildren")      return;    onEditFilter();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e609fe2a1954f8a1777c954dbfabdb4921112c45/FilterListDialog.js/buggy/mailnews/base/search/resources/content/FilterListDialog.js