rem: 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; 
add: var main = document.getElementById("main"); var leftPane = document.getElementById("leftPane"); var rightPane = document.getElementById("rightPane"); var x = event.clientX + window.scrollX; var delta = element.dragLastX - x; 
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: 1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1725/d2387050e71f99bc017e6b2b600bf5e23889a041/debugger.js/clean/WebKitTools/Drosera/debugger.js