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