rem: 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;        var delta = element.dragLastX - x;        var newWidth = constrainedWidthFromElement(leftPane.clientWidth - delta, main);        leftPane.style.width = newWidth + "px";        rightPane.style.left = newWidth + "px";        element.dragLastX = x;        event.preventDefault();    }}
meta: 1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1725/d586b7ff0620d35cbb672c0103d6e7402b2e2c66/debugger.js/clean/WebKitTools/Drosera/debugger.js