rem: if (y == newHeight) searchResults.dragLastY = y; 
add: WebInspector.searchResultsHeight = newHeight; 
context: 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();    }}
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5650/bf5d9716ea00232d2dc0929cec56bb5fb4ba34cb/inspector.js/clean/WebCore/page/inspector/inspector.js