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