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

..

menus

Toggle filters in the hey menu too

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

pins

Fox wonky notification position

2025-08-19 10:33:36 -05:00