rem: function infoDividerDragEnd(event) { 
add: function infoDividerDragEnd(event) { 
context: function infoDividerDragEnd(event) {    dividerDragEnd(document.getElementById("infoDivider"), infoDividerDrag, infoDividerDragEnd, event);}
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