rem: wHeight = document.body.clientHeight-80; wWidth = document.body.clientWidth-16; 
add: wHeight = document.body.clientHeight - 80; wWidth = document.body.clientWidth - 16; 
context: function resizeInputs() {	if (!tinyMCE.isMSIE) {		 wHeight = self.innerHeight-80;		 wWidth = self.innerWidth-16;	} else {		 wHeight = document.body.clientHeight-80;		 wWidth = document.body.clientWidth-16;	}	document.forms[0].htmlSource.style.height = Math.abs(wHeight) + 'px';	document.forms[0].htmlSource.style.width  = Math.abs(wWidth) + 'px';		}
meta: 6462	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6462/085aef5dcbdbb71d5b97c329c5eed76a4b72c02f/source_editor.js/buggy/wp-includes/js/tinymce/themes/advanced/jscripts/source_editor.js