English: If in options tab option "Set filter automatically" is "Yes" you can hide filter and show hide/show button instead of it.
Dutch: Als in de opties tab optie "Filter automatisch instellen" op "Ja" staat, kun je de filter verbergen en de knop Verbergen/tonen weergeven in plaats daarvan.