rem: function sourceDividerDragEnd(event) { 
add: function sourceDividerDragEnd(event) { 
context: function sourceDividerDragEnd(event) {    dividerDragEnd(document.getElementById("divider"), dividerDrag, sourceDividerDragEnd, event);}
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5650/380e7c44c877fea046132cf77c4478bea703ea84/debugger.js/buggy/WebKitTools/Drosera/debugger.js