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