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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/eaa6754a0a946375badf1165b3e4af3999e4b03c/FilterListDialog.js/buggy/mailnews/base/search/resources/content/FilterListDialog.js