    if(dojo.render.html.ie){   if(dojo.html.getBorderBox(node.parentNode).height <= node.parentNode.scrollHeight){ node.scrollIntoView(false); } }else if(dojo.render.html.mozilla){  node.scrollIntoView(false); }else{ var parent = node.parentNode; var parentBottom = parent.scrollTop + dojo.html.getBorderBox(parent).height; var nodeBottom = node.offsetTop + dojo.html.getMarginBox(node).height; if(parentBottom < nodeBottom){ parent.scrollTop += (nodeBottom - parentBottom); }else if(parent.scrollTop > node.offsetTop){ parent.scrollTop -= (parent.scrollTop - node.offsetTop); } } 
    if(dojo.render.html.ie){   if(dojo.html.getBorderBox(node.parentNode).height <= node.parentNode.scrollHeight){ node.scrollIntoView(false); } }else if(dojo.render.html.mozilla){  node.scrollIntoView(false); }else{ var parent = node.parentNode; var parentBottom = parent.scrollTop + dojo.html.getBorderBox(parent).height; var nodeBottom = node.offsetTop + dojo.html.getMarginBox(node).height; if(parentBottom < nodeBottom){ parent.scrollTop += (nodeBottom - parentBottom); }else if(parent.scrollTop > node.offsetTop){ parent.scrollTop -= (parent.scrollTop - node.offsetTop); } } 
dojo.html.scrollIntoView = function(/* HTMLElement */node){	//	summary	//	Scroll the passed node into view, if it is not.	if(!node){ return; }	// don't rely on that node.scrollIntoView works just because the function is there	// it doesnt work in Konqueror or Opera even though the function is there and probably	// not safari either	// dont like browser sniffs implementations but sometimes you have to use it	if(dojo.render.html.ie){		//only call scrollIntoView if there is a scrollbar for this menu,		//otherwise, scrollIntoView will scroll the window scrollbar		if(dojo.html.getBorderBox(node.parentNode).height <= node.parentNode.scrollHeight){			node.scrollIntoView(false);		}	}else if(dojo.render.html.mozilla){		// IE, mozilla		node.scrollIntoView(false);	}else{		var parent = node.parentNode;		var parentBottom = parent.scrollTop + dojo.html.getBorderBox(parent).height;		var nodeBottom = node.offsetTop + dojo.html.getMarginBox(node).height;		if(parentBottom < nodeBottom){			parent.scrollTop += (nodeBottom - parentBottom);		}else if(parent.scrollTop > node.offsetTop){			parent.scrollTop -= (parent.scrollTop - node.offsetTop);		}	}}
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/2f1d2cb699c9d9329e8b782b0463156e211cb0f6/struts_dojo.js.uncompressed.js/buggy/src/main/resources/org/apache/struts2/static/dojo/struts_dojo.js.uncompressed.js