Merge branch 'bugfix-show_file_filter_on_macos' into 'develop'

Added system option for displaying file filter widget on MacOS

See merge request !28
12 jobs for develop in 32 minutes and 13 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Docker Login
passed #15442
ubuntu sci docker
docker_login

00:00:12

 
  Ci
passed #15446
osx-10.13 sci
ci:osx

00:08:19

passed #15445
ubuntu sci docker
ci:ubuntu_bionic

00:05:13

passed #15443
ubuntu sci docker
ci:ubuntu_trusty

00:07:20

passed #15444
ubuntu sci docker
ci:ubuntu_xenial

00:05:17

passed #15447
windows-10 sci
ci:windows

00:04:48

 
  Deploy
passed #15451
osx-10.13 sci
deploy:osx

00:15:50

passed #15450
ubuntu sci docker
deploy:ubuntu_bionic

00:01:16

passed #15448
ubuntu sci docker
deploy:ubuntu_trusty

00:01:15

passed #15449
ubuntu sci docker
deploy:ubuntu_xenial

00:01:17

passed #15452
windows-10 sci
deploy:windows

00:03:37

 
  Docker Logout
passed #15453
ubuntu sci docker
docker_logout

00:00:27