rem: } 
add: else document.getElementById("removePermission").setAttribute("disabled", "true"); 
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/0a67be8e159c6936695906e9f92300d9e0c3e7cc/cookieViewer.js/buggy/suite/common/permissions/cookieViewer.js