context: function refreshFilterList() {    if (!gFilterTree)       return;    // store the selected resource before we rebuild the tree    var selectedRes = gFilterTree.currentIndex >= 0 ? gFilterTree.builderView.getResourceAtIndex(gFilterTree.currentIndex) : null;    // rebuild the tree        gFilterTree.view.selection.clearSelection();    gFilterTree.builder.rebuild();    // restore selection to the previous selected resource    if (selectedRes) {        var previousSel = gFilterTree.builderView.getIndexOfResource(selectedRes);        if (previousSel >= 0) {            // sometimes the selected element is gone.            gFilterTree.treeBoxObject.selection.select(previousSel);            gFilterTree.treeBoxObject.ensureRowIsVisible(previousSel);        }    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/f8e75f99a3d434a59edeab31a4436cf5cddf65df/FilterListDialog.js/clean/mailnews/base/search/resources/content/FilterListDialog.js