buttonContainer.style.left = newWidth + "px"; 
WebInspector.sidebarResizerDrag = function(event){    var sidebar = document.getElementById("sidebar");    if (sidebar.dragging == true) {        var main = document.getElementById("main");        var x = event.clientX + window.scrollX;        var delta = sidebar.dragLastX - x;        var newWidth = WebInspector.constrainedWidthFromElement(x, main);        if (x == newWidth)            sidebar.dragLastX = x;        sidebar.style.width = newWidth + "px";        main.style.left = newWidth + "px";        event.preventDefault();    }}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/d6c405c7df39aeca5e7ac672f7194973a80fa0b5/inspector.js/buggy/WebCore/page/inspector/inspector.js