context: 		var patchFunc = function() {			var event = document.frames[editor_id].event;			event.target = document.frames[editor_id].document;			TinyMCE_handleEvent(event);		};
meta: 1948	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1948/873ce1c62e52365d732f67421272ae1302559b15/tiny_mce_src.js/clean/www/extras/tinymce/jscripts/tiny_mce/tiny_mce_src.js