Claire 888e6a3439 Fix setting to hide the quick filter bar (#2882) ... Fixes #2881		2024-10-11 17:45:07 +02:00
..
glitch	Fix setting to hide the quick filter bar (#2882)	2024-10-11 17:45:07 +02:00
vanilla	…