add: updateButtons(); 
context: function setServer(uri){    var tree = document.getElementById("filterTree");    tree.setAttribute("ref", uri);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/fc8c14d497f1b88a0787885e18afc4baed53e4ab/FilterListDialog.js/buggy/mailnews/base/search/resources/content/FilterListDialog.js