Release v4.2.0
Summary
Consolidates two duplicate checkbox-list filter implementations (Chronicle's own FilterPanel option list and Stagehand's bespoke CheckboxPicker) into one reusable renderer, per Cratis/Chronicle#3991.
Added
CheckboxListFilter, a reusable checkbox/radio picker with a search box that becomes sticky and only shows once the option list overflows its bounded height (Cratis/Chronicle#3991)
Changed
FilterPanel's internal option-list renderer now delegates toCheckboxListFilter, gaining a scroll-capped list and overflow-triggered sticky search; the publicFilterPanelProps/FilterDefinitionAPI is unchanged and fully backward compatible (Cratis/Chronicle#3991)