add: this.isTinyMCEControl = true; 
context: function TinyMCEControl(settings) {	// Undo levels	this.undoLevels = new Array();	this.undoIndex = 0;	this.typingUndoIndex = -1;	this.undoRedo = true;	// Default settings	this.settings = settings;	this.settings['theme'] = tinyMCE.getParam("theme", "default");	this.settings['width'] = tinyMCE.getParam("width", -1);	this.settings['height'] = tinyMCE.getParam("height", -1);};
meta: 10574	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10574/4530a9b839bf26ea1ffafb106af9e5c42f3ef0c0/tiny_mce_src.js/clean/wp-includes/js/tinymce/tiny_mce_src.js