rem: permissionsTree.treeBoxObject.view.selection.select(-1);  
add: var oldCount = permissionsTreeView.rowCount; 
context: function clearTree() {  permissionsTree.treeBoxObject.view.selection.select(-1);   permissionsTreeView.rowCount = 0;  permissionsTree.treeBoxObject.invalidate();  document.getElementById("removePermission").setAttribute("disabled", "true")  document.getElementById("removeAllPermissions").setAttribute("disabled","true");}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c98c6f10f342cc7ae493f966333a41c2939befb5/popupManager.js/buggy/xpfe/communicator/resources/content/popupManager.js