rem: var height = getFrameHeight(frame); 
add: if (typeof(frame.contentDocument) != 'undefined' || typeof(frame.contentWindow) != 'undefined') {    var innerDoc = (frame.contentDocument) ? frame.contentDocument : frame.contentWindow.document; innerDocScrollH = (innerDoc != null) ? innerDoc.body.scrollHeight : null; }    if (document.all && innerDocScrollH != null) {  height = innerDocScrollH; } else {  if (docElOffsetH > offsetH) { height = docElOffsetH; } else { height = offsetH; } } 
context: function setMainFrameHeightNoScroll(id, shouldScroll) {	if (typeof(shouldScroll) == 'undefined') {		shouldScroll = true;	}	// run the script only if this window's name matches the id parameter	// this tells us that the iframe in parent by the name of 'id' is the one who spawned us	id = id.replace(/[^a-zA-Z0-9]/g,"x");	id = "Main" + id;	if (typeof window.name != "undefined" && id != window.name) return;	var frame = parent.document.getElementById(id);	if (frame)	{		// reset the scroll		if (shouldScroll) {		  parent.window.scrollTo(0,0);		}		var objToResize = (frame.style) ? frame.style : frame;//		alert("After objToResize");                var height = getFrameHeight(frame);                		// here we fudge to get a little bigger		//gsilver: changing this from 50 to 10, and adding extra bottom padding to the portletBody				var newHeight = height + 10;				// no need to be smaller than...		//if (height < 200) height = 200;		objToResize.height=newHeight + "px";						//window.location.hash = window.location.hash;		if (shouldScroll) {		  var anchor = document.location.hash;		  if (anchor != null && anchor.length > 0 && anchor.charAt(0) == '#') {		    anchor = anchor.substring(1);		    var coords = getAnchorPosition(anchor);		    var framey = findPosY(frame);		    parent.window.scrollTo(coords.x, coords.y + framey);		  }		}	}}
meta: 1235	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1235/90ed3abfd3763147de746bf6f61eae12b2aeb6c7/search.js/clean/search/search-tool/tool/src/webapp/scripts/search.js