add: document.getElementById("filesDivider").addEventListener("mousedown", filesDividerDragStart, false); 
context: function loaded() {    document.getElementById("divider").addEventListener("mousedown", sourceDividerDragStart, false);    document.getElementById("infoDivider").addEventListener("mousedown", infoDividerDragStart, false);    document.getElementById("variableColumnResizer").addEventListener("mousedown", columnResizerDragStart, false);}
meta: 1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1725/2590837808c3b47be4c0582f4c707a7c101154fb/debugger.js/clean/WebKitTools/Drosera/debugger.js