// Selects or deselects all checkboxes named 'category[]'

function selectAllCategories(target)
{
	var setto = false;
	if (target.checked)
		var setto = true;
		
	categories = document.getElementsByName('category[]');
	for	(var i = 0; i < categories.length; ++i) {
		categories[i].checked = setto;
	}
	return true;
}

/* Functions for the result page */

// Set up events
function setupResultEvents()
{
	options = document.getElementsByName('distance');
	
	foreach (option in options)
		options.addEventListener('click', submitForm);
}

function submitForm()
{
	document.getElementById('radius').submit();
}