rem: function infoDividerDragStart(event) { 
add: function infoDividerDragStart(event) { 
context: function infoDividerDragStart(event) {    dividerDragStart(document.getElementById("infoDivider"), infoDividerDrag, infoDividerDragEnd, event, "col-resize");}
meta: 1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1725/389df320bb262028c0bfcb707fcb9e5277284658/debugger.js/buggy/WebKitTools/Drosera/debugger.js