rem: function infoDividerDrag(event) { 
add: function infoDividerDrag(event) { 
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);        if ((leftPane.clientWidth - delta) == newWidth) // the width wasn't constrained            element.dragLastX = x;        leftPane.style.width = newWidth + "px";        rightPane.style.left = newWidth + "px";        event.preventDefault();    }}
meta: 10664	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10664/265b0e098271034b585404142515fee7102730f2/debugger.js/clean/third_party/WebKit/WebKitTools/Drosera/debugger.js