rem: document.body.focus(); 
context: function initInsertions() {	var doc;	if(document.forms[form_name])	{		doc = document;	}	else	{		doc = opener.document;	}	var textarea = doc.forms[form_name].elements[text_name];	if (is_ie && typeof(baseHeight) != 'number')	{		textarea.focus();		baseHeight = doc.selection.createRange().duplicate().boundingHeight;		document.body.focus();	}}
meta: 2692	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2692/a07af424bcb63698713b5e84633f37e1fc5c797a/editor.js/buggy/adm/style/editor.js