rem: function switchFile() 
add: function switchFile(fileIndex) 
context: function switchFile(){    var filesSelect = document.getElementById("files");    fileClicked(filesSelect.options[filesSelect.selectedIndex].value, false);    loadFile(filesSelect.options[filesSelect.selectedIndex].value, true);}
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5650/b5c6da7b81cc29ad34e4bd00ce55ae86efaf134c/debugger.js/clean/WebKitTools/Drosera/debugger.js