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

00:00:19

 
  Ci
passed #15439
sci osx-10.13
ci:osx

00:08:15

passed #15438
docker sci ubuntu
ci:ubuntu_bionic

00:05:49

passed #15436
docker sci ubuntu
ci:ubuntu_trusty

00:08:07

passed #15437
docker sci ubuntu
ci:ubuntu_xenial

00:05:45

passed #15440
sci windows-10
ci:windows

00:04:36

 
  Docker Logout
passed #15441
ubuntu sci docker
docker_logout

00:00:19