Added system option for displaying file filter widget on MacOS
Passed
eric pellegrini
created pipeline for commit
f7bdce1f
, finished
1 related merge request: !28 Added system option for displaying file filter widget on MacOS
16 minutes 47 seconds, queued for 1 seconds