rem: function dividerDrag(event) { 
add: function dividerDrag(event) { 
context: function dividerDrag(event) {    var element = document.getElementById("divider");    if (document.getElementById("divider").dragging == true) {        var main = document.getElementById("main");        var top = document.getElementById("info");        var bottom = document.getElementById("body");        var y = event.clientY + window.scrollY;        var delta = element.dragLastY - y;        var newHeight = constrainedHeightFromElement(top.clientHeight - delta, main);        if ((top.clientHeight - delta) == newHeight) // the height wasn't constrained            element.dragLastY = y;        top.style.height = newHeight + "px";        bottom.style.top = newHeight + "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