1 function initialize (result) {
2 if (result == "obsolete") changeFilter(); // Hides the result section and enables the Search button
5 function changeFilter () {
6 var result = document.getElementById("resulist");
8 search.elements[0].value = "0"; // Marks the result obsolete
9 result.style.display = "none"; // Hides the result section
10 search.refresh.disabled = false; // Enables the Search button
13 function removeContext (index) {
14 search.elements[0].value = index;
19 search.elements[0].value = "-1";