rem: case 2: id = "viewallheaders"; break; case 1: default: id = "viewnormalheaders"; break; 
add: case 2: id = "viewallheaders"; break; case 1: default: id = "viewnormalheaders"; break; 
context: function InitViewHeadersMenu(){  var id = null;  var headerchoice = 1;  try   {    headerchoice = pref.getIntPref("mail.show_headers");  }  catch (ex)   {    dump("failed to get the header pref\n");  }  switch (headerchoice)   {	case 2:			id = "viewallheaders";		break;	case 1:		default:		id = "viewnormalheaders";		break;  }  var menuitem = document.getElementById(id);  if (menuitem)    menuitem.setAttribute("checked", "true"); }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9421/b63a5b72361765e9c991347479ce265f17a15db6/mailWindowOverlay.js/buggy/mail/base/content/mailWindowOverlay.js