this.core.switchClass(editor_id + '_strikethrough', 'mceButtonNormal'); 
this.core.switchClass(editor_id + '_underline', 'mceButtonNormal'); this.core.switchClass(editor_id + '_strikethrough', 'mceButtonNormal'); 
WikiEditor.prototype.handleTextButtons = function(editor_id, node, undo_index, undo_levels, visual_aid, any_selection) {	// Reset old states	this.core.switchClass(editor_id + '_bold', 'mceButtonNormal');	this.core.switchClass(editor_id + '_italic', 'mceButtonNormal');	this.core.switchClass(editor_id + '_strikethrough', 'mceButtonNormal');	// Handle elements	do	{		switch (node.nodeName.toLowerCase())		{			case "b":			case "strong":				//alert("strong");				this.core.switchClass(editor_id + '_bold', 'mceButtonSelected');			break;			case "i":			case "em":				this.core.switchClass(editor_id + '_italic', 'mceButtonSelected');			break;			case "strike":				this.core.switchClass(editor_id + '_strikethrough', 'mceButtonSelected');			break;		}	} while ((node = node.parentNode));}
6184	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6184/c83e7f7aff96b83ba50bf77daa3d3fbcd32877eb/core.js/buggy/xwiki-platform-web/standard/src/main/webapp/wiki_editor_2/plugins/core.js