rem: var selections = GetTreeSelections(permissionsTree); if (selections.length) { document.getElementById("removePermission").removeAttribute("disabled"); 
add: if (permissionManager) { var selections = GetTreeSelections(permissionsTree); document.getElementById("removePermission").disabled = (selections.length < 1); 
context: function permissionSelected() {  var selections = GetTreeSelections(permissionsTree);  if (selections.length) {    document.getElementById("removePermission").removeAttribute("disabled");  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/d31df1a4c164f0d9b15383a3387cc1edfb20650b/permissionsManager.js/clean/xpfe/components/permissions/content/permissionsManager.js