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 _2f9=node.parentNode; var _2fa=_2f9.scrollTop+dojo.html.getBorderBox(_2f9).height; var _2fb=node.offsetTop+dojo.html.getMarginBox(node).height; if(_2fa<_2fb){ _2f9.scrollTop+=(_2fb-_2fa); }else{ if(_2f9.scrollTop>node.offsetTop){ _2f9.scrollTop-=(_2f9.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/90939f35f46f873d9b1f5c5f818ecf012711dc71/dojo.js/buggy/src/main/resources/org/apache/struts2/static/dojo/dojo.js