this.scrollIntoCenterView = function(element, scrollBox, notX, notY){    if (!element)        return;        if (!scrollBox)        scrollBox = this.getOverflowParent(element);        if (!scrollBox)        return;        var offset = this.getClientOffset(element);    if (!notY)    {        var topSpace = offset.y - scrollBox.scrollTop;        var bottomSpace = (scrollBox.scrollTop + scrollBox.clientHeight)            - (offset.y + element.offsetHeight);        if (topSpace < 0 || bottomSpace < 0)        {            var centerY = offset.y - (scrollBox.clientHeight/2);            scrollBox.scrollTop = centerY;        }    }    if (!notX)    {        var leftSpace = offset.x - scrollBox.scrollLeft;        var rightSpace = (scrollBox.scrollLeft + scrollBox.clientWidth)            - (offset.x + element.clientWidth);        if (leftSpace < 0 || rightSpace < 0)        {            var centerX = offset.x - (scrollBox.clientWidth/2);            scrollBox.scrollLeft = centerX;        }    }};
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/8237a6359bebacf3e34f1134ef713c687c8e3edb/lib.js/clean/extension/content/firebug/lib.js