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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/473865070c571ced9b0239faeaf8a27fd9d894a3/permissionsManager.js/clean/suite/common/permissions/permissionsManager.js