Commit f7bdce1f authored by eric pellegrini's avatar eric pellegrini

Added system option for displaying file filter widget on MacOS

parent 5059a1e2
Pipeline #4235 passed with stages
in 16 minutes and 47 seconds