if (y == newHeight) searchResults.dragLastY = y; 
WebInspector.searchResultsHeight = newHeight; 
WebInspector.searchResultsResizerDrag = function(event){    var searchResults = document.getElementById("searchResults");    if (searchResults.dragging == true) {        var y = event.clientY - document.getElementById("main").offsetTop;        var newHeight = Number.constrain(y, 100, window.innerHeight - 100);        if (y == newHeight)            searchResults.dragLastY = y;        WebInspector.searchResultsHeight = newHeight;        searchResults.style.height = WebInspector.searchResultsHeight + "px";        document.getElementById("panels").style.top = newHeight + "px";        document.getElementById("searchResultsResizer").style.top = (newHeight - 3) + "px";        event.preventDefault();    }}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/92232b6dba3a32b10ef68860c6eb54e48238744c/inspector.js/clean/WebCore/page/inspector/inspector.js