Jorge Manrubia 64b46d37e4 Toggle filters in the hey menu too ...

This also fixes a problem where the label in the menu for the filters was wrong

2025-09-19 16:52:13 +02:00

..

fields.rb

Submit and refresh results as you type terms

2025-09-12 18:25:27 +02:00

params.rb

Create a copy before modifying to avoid modifying the cached filter

2025-09-09 22:45:46 -05:00

resources.rb

Toggle filters in the hey menu too

2025-09-19 16:52:13 +02:00

summarized.rb

Split indexed_by into two filters: indexed by and sort by

2025-08-21 19:12:54 +02:00