rem: } else { 
add: else 
context: function UpdateCardView(){  if (GetNumSelectedCards() == 1) {    gPropertiesButton.removeAttribute("disabled");  }  else {    gPropertiesButton.setAttribute("disabled","true");  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/36cb0a8abd8683cb9b39c4fa3f62a07aeca67668/ABSearchDialog.js/buggy/mailnews/base/search/resources/content/ABSearchDialog.js