rem: document.body.style.cursor = null; 
add: document.body.style.removeProperty("cursor"); 
context: function dividerDragEnd(element, dividerDrag, dividerDragEnd, event) {    element.dragging = false;    document.removeEventListener("mousemove", dividerDrag, true);    document.removeEventListener("mouseup", dividerDragEnd, true);    document.body.style.cursor = null;}
meta: 1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1725/7fd673466ac2f0ea62fad7b1b05c16fac702bbb0/debugger.js/buggy/WebKitTools/Drosera/debugger.js