add: fileClicked(filesSelect.options[filesSelect.selectedIndex].value, false); 
context: function switchFile(){    var filesSelect = document.getElementById("files");    loadFile(filesSelect.options[filesSelect.selectedIndex].value, true);}
meta: 10664	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10664/4a711a57393ecf8acab910e9285ee831da207239/debugger.js/buggy/third_party/WebKit/WebKitTools/Drosera/debugger.js