in index.js [612:638]
function toggleFiltering () {
var filterDescription = document.querySelector('.filter-toggle')
var shouldPreserveSelection = !filterDescription.classList.contains('hidden')
filterDescription.classList.toggle('hidden')
var selected = document.querySelectorAll('.filter-by-status input[type=checkbox]:checked')
var filterButton = document.querySelector('.filter-button')
if (shouldPreserveSelection) {
filterSelection = [].map.call(selected, function (checkbox) { return checkbox.id })
;[].forEach.call(selected, function (checkbox) { checkbox.checked = false })
filterButton.setAttribute('aria-pressed', 'false')
} else { // restore it
filterSelection.forEach(function (id) {
var checkbox = document.getElementById(id)
checkbox.checked = true
})
filterButton.setAttribute('aria-pressed', 'true')
}
document.querySelector('.expandable').classList.remove('expanded')
filterButton.classList.toggle('active')
filterProposals()
}