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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/93cc2f8a6ffe7524680ec99b90a7c2f0cde65a94/popupManager.js/buggy/xpfe/communicator/resources/content/popupManager.js