add: functionSelect.blur(); 
context: function switchFunction(index, shouldResetPopup){    if (shouldResetPopup === undefined) shouldResetPopup = false;    var sourcesFrame = window.frames['sourcesFrame'];        if (shouldResetPopup || index == 0) {        document.getElementById("functionPopupButtonContent").innerHTML = '<span class="placeholder">&lt;No selected symbol&gt;</span>';        return;    }    var functionSelect = document.getElementById("functions");    var selectedFunction = functionSelect.childNodes[index];    var selection = sourcesFrame.getSelection();    var currentFunction = selectedFunction.value;         var currentFunctionElement = sourcesFrame.document.getElementById(currentFunction);        sourcesFrame.focus();    selection.setBaseAndExtent(currentFunctionElement, 0, currentFunctionElement, 1);    sourcesFrame.location.hash = "#function-" + selectedFunction.value;    document.getElementById("functionPopupButtonContent").innerText = selectedFunction.innerText;}
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5650/98394ea14099e50f08b0078f9dc6ddbcbecf4167/debugger.js/clean/WebKitTools/Drosera/debugger.js