rem: disallow_classes_no_html = disallow_classes;  
add: gDisallow_classes_no_html = disallow_classes;  
context: function InitViewBodyMenu(){  var html_as = 0;  var prefer_plaintext = false;  var disallow_classes = 0;  try  {    prefer_plaintext = pref.getBoolPref("mailnews.display.prefer_plaintext");    html_as = pref.getIntPref("mailnews.display.html_as");    disallow_classes = pref.getIntPref("mailnews.display.disallow_mime_handlers");    if (disallow_classes > 0)      disallow_classes_no_html = disallow_classes;    // else disallow_classes_no_html keeps its inital value (see top)  }  catch (ex)  {    dump("failed to get the body plaintext vs. HTML prefs\n");  }  var AllowHTML_checked = false;  var Sanitized_checked = false;  var AsPlaintext_checked = false;  if (!prefer_plaintext && !html_as && !disallow_classes)    AllowHTML_checked = true;  else if (!prefer_plaintext && html_as == 3 && disallow_classes > 0)    Sanitized_checked = true;  else if (prefer_plaintext && html_as == 1 && disallow_classes > 0)    AsPlaintext_checked = true;  // else (the user edited prefs/user.js) check none of the radio menu items  var AllowHTML_menuitem = document.getElementById("bodyAllowHTML");  var Sanitized_menuitem = document.getElementById("bodySanitized");  var AsPlaintext_menuitem = document.getElementById("bodyAsPlaintext");  if (AllowHTML_menuitem && Sanitized_menuitem && AsPlaintext_menuitem)  {    AllowHTML_menuitem.setAttribute("checked", AllowHTML_checked ? "true" : "false");    Sanitized_menuitem.setAttribute("checked", Sanitized_checked ? "true" : "false");    AsPlaintext_menuitem.setAttribute("checked", AsPlaintext_checked ? "true" : "false");  }  else    dump("Where is my View|Body menu?\n");}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/520e1d04d92aeb56ad9a56e3c84d6984425c5074/mailWindowOverlay.js/clean/mail/base/content/mailWindowOverlay.js