add:   if (tinyMCE.lastHover) { tinyMCE.lastHover.className = tinyMCE.lastHover.className; tinyMCE.lastHover = null; } 
context: TinyMCE_Engine.prototype.onMouseMove = function() {	var inst;	if (!tinyMCE.hasMouseMoved) {		inst = tinyMCE.selectedInstance;		// Workaround for bug #1437457 (Odd MSIE bug)		if (inst.isFocused) {			inst.undoBookmark = inst.selection.getBookmark();			tinyMCE.hasMouseMoved = true;		}	}//	tinyMCE.cancelEvent(inst.getWin().event);//	return false;};
meta: 2801	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2801/5c8946dfad35e239624464fb249d5116d7cf3e5e/TinyMCE_Event.class.js/buggy/jscripts/tiny_mce/classes/TinyMCE_Event.class.js