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
Status Name Job ID Coverage
  Docker Login
passed docker_login #15435
docker sci ubuntu

00:00:19

 
  Ci
passed ci:osx #15439
sci osx-10.13

00:08:15

passed ci:ubuntu_bionic #15438
docker sci ubuntu

00:05:49

passed ci:ubuntu_trusty #15436
docker sci ubuntu

00:08:07

passed ci:ubuntu_xenial #15437
docker sci ubuntu

00:05:45

passed ci:windows #15440
sci windows-10

00:04:36

 
  Docker Logout
passed docker_logout #15441
docker sci ubuntu

00:00:19