rem: editButton.setAttribute("disabled", "true"); deleteButton.setAttribute("disabled", "true"); 
add: reorderUpButton.disabled = true; reorderDownButton.disabled = true; 
context: function updateButtons(){    var filter = currentFilter();    if (filter) {        editButton.removeAttribute("disabled");        deleteButton.removeAttribute("disabled");    } else {        editButton.setAttribute("disabled", "true");        deleteButton.setAttribute("disabled", "true");    }                      }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/68bebb97882030def90be3561e80aee68c84803e/FilterListDialog.js/buggy/mailnews/base/search/resources/content/FilterListDialog.js