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

00:00:12

 
  Ci
passed ci:osx #15446
sci osx-10.13

00:08:19

passed ci:ubuntu_bionic #15445
docker sci ubuntu

00:05:13

passed ci:ubuntu_trusty #15443
docker sci ubuntu

00:07:20

passed ci:ubuntu_xenial #15444
docker sci ubuntu

00:05:17

passed ci:windows #15447
sci windows-10

00:04:48

 
  Deploy
passed deploy:osx #15451
sci osx-10.13

00:15:50

passed deploy:ubuntu_bionic #15450
docker sci ubuntu

00:01:16

passed deploy:ubuntu_trusty #15448
docker sci ubuntu

00:01:15

passed deploy:ubuntu_xenial #15449
docker sci ubuntu

00:01:17

passed deploy:windows #15452
sci windows-10

00:03:37

 
  Docker Logout
passed docker_logout #15453
docker sci ubuntu

00:00:27