rem: updateUserList(); 
add: if (elem && elem.view && elem.treeBoxObject) elem.treeBoxObject.clearStyleAndImageCaches(); 
context: function setListMode(mode){    var elem = document.getElementById("user-list");    if (mode)        elem.setAttribute("mode", mode);    else        elem.removeAttribute("mode");    updateUserList();}
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1622/c42ddd634fe755d5b21122300c099405ed7a30d6/static.js/buggy/xul/content/static.js