Added system option for displaying file filter widget on MacOS

7 jobs for bugfix-show_file_filter_on_macos in 16 minutes and 47 seconds (queued for 1 second)
latest