settings: group checkbox for selecting/unselecting all projects; indicate if only some projects are selected