rem: leftPane.style.width = x + "px"; rightPane.style.left = x + "px"; 
add: var newWidth = leftPane.clientWidth - delta; if (newWidth < main.clientWidth * 0.25) newWidth = main.clientWidth * 0.25; else if (newWidth > main.clientWidth * 0.75) newWidth = main.clientWidth * 0.75;  leftPane.style.width = newWidth + "px"; rightPane.style.left = newWidth + "px"; 
context: function infoDividerDrag(event) {    var element = document.getElementById("infoDivider");    if (document.getElementById("infoDivider").dragging == true) {      var main = document.getElementById("main");      var leftPane = document.getElementById("leftPane");      var rightPane = document.getElementById("rightPane");      var x = event.clientX + window.scrollX;             if (x < main.clientWidth * 0.25)        x = main.clientWidth * 0.25;        else if (x > main.clientWidth * 0.75)         x = main.clientWidth * 0.75;        leftPane.style.width = x + "px";        rightPane.style.left = x + "px";        element.dragLastX = x;        event.preventDefault();    }}
meta: 10664	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10664/87c43d6ec3aad96a273f2997292509edc27c7e34/debugger.js/buggy/third_party/WebKit/WebKitTools/Drosera/debugger.js