context: function refreshFilterList() {    var tree = document.getElementById("filterTree");    if (!tree) return;    var selection;        var selectedItems = tree.selectedItems;    if (selectedItems && selectedItems.length >0)        selection = tree.selectedItems[0].id;    tree.clearItemSelection();    tree.setAttribute("ref", tree.getAttribute("ref"));    if (selection) {        var newItem = document.getElementById(selection);        // sometimes the selected element is gone.        if (newItem) {            tree.selectItem(newItem);            tree.ensureElementIsVisible(newItem);        }    }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/0b2dd2b2d2fd037df917e07645fa019a963332a5/FilterListDialog.js/buggy/mailnews/base/search/resources/content/FilterListDialog.js