context: 	undo : function() {		var inst = this.instance;		// Do undo		if (this.undoIndex > 0) {			this.undoIndex--;			tinyMCE.setInnerHTML(inst.getBody(), this.undoLevels[this.undoIndex].content);			inst.repaint();			if (inst.settings.custom_undo_redo_restore_selection)				inst.selection.moveToBookmark(this.undoLevels[this.undoIndex].bookmark);		}		// tinyMCE.debug("Undo - undo levels:" + this.undoLevels.length + ", undo index: " + this.undoIndex);	},
meta: 10343	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10343/524e24acf79702622c51dba4bb678337072e34b9/tiny_mce_src.js/clean/mambots/editors/tinymce/jscripts/tiny_mce/tiny_mce_src.js