add: case "moz-text-html":  if (colorediffsGlobal.restorePreferHtmlTo === undefined) {  colorediffsGlobal.restorePreferHtmlTo = pref.preferHtml.get(); pref.preferHtml.set(true); MsgReload(); reloadPlanned = true; } 
context: 	var text = me.fold(divs, function(div, text) {			switch(div.getAttribute("class")) {				case "moz-text-plain":				case "moz-text-flowed":					return text + colorediffsGlobal.htmlToPlainText(div.innerHTML) + "\n\n\n";				default:					return text;			}		},
meta: 4572	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4572/2ebbf86ee7b1919b6db72d700030507da52286b9/colorediffs.js/clean/content/colorediffs/colorediffs.js