rem: setServer(uri, false); 
add: setServer(uri); 
context: function selectServer(uri){    // update the server menu    var serverMenu = document.getElementById("serverMenu");    var menuitems = serverMenu.getElementsByAttribute("id", uri);    serverMenu.selectedItem = menuitems[0];    setServer(uri, false);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/aa1bf2e1b3f6b006698a4b79cdbb5bceadc03cce/FilterListDialog.js/buggy/mailnews/base/search/resources/content/FilterListDialog.js