rem: function dividerDragStart(element, dividerDrag, dividerDragEnd, event, cursor) { 
add: function dividerDragStart(element, dividerDrag, dividerDragEnd, event, cursor) { 
context: function dividerDragStart(element, dividerDrag, dividerDragEnd, event, cursor) {    element.dragging = true;    element.dragLastY = event.clientY + window.scrollY;    element.dragLastX = event.clientX + window.scrollX;    document.addEventListener("mousemove", dividerDrag, true);    document.addEventListener("mouseup", dividerDragEnd, true);    document.body.style.cursor = cursor;    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