rem: if (this.isRealIE) { 
add: if (tinyMCE.isRealIE) { 
context: TinyMCE_Engine.prototype._resetIframeHeight = function() {	var ife;	if (this.isRealIE) {		ife = tinyMCE.selectedInstance.iframeElement;/*		if (ife._oldWidth) {			ife.style.width = ife._oldWidth;			ife.width = ife._oldWidth;		}*/		if (ife._oldHeight) {			ife.style.height = ife._oldHeight;			ife.height = ife._oldHeight;		}	}};
meta: 2801	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2801/9ba1064cc72da98d8345b71573721d41c077cd0b/TinyMCE_Event.class.js/buggy/jscripts/tiny_mce/classes/TinyMCE_Event.class.js