2 function confirm_delete(type, name)
4 return confirm("Are you sure you want to delete the " + type +
8 function select_all(obj)
10 var value = obj.checked;
13 select_all_checkbox = obj;
15 for (var i = 0; i < form.elements.length; i++ ) {
16 var element = form.elements[i];
17 if (element.type != 'checkbox') {
20 if (element.name.substring(0, 9) != 'patch_id:') {
23 element.checked = value;