Make the filters scrollable

12 jobs for GUI_Filters in 25 minutes and 39 seconds (queued for 6 seconds)
Status Name Job ID Coverage
  Build
passed build #1442127

00:11:17

 
  Test
passed dev setup tests #1442133

00:13:44

passed gui linting #1442129

00:04:23

passed gui tests #1442131

00:04:59

passed install tests #1442132

00:07:13

passed python linting #1442128

00:06:10

passed python tests #1442130

00:14:20

80.0%
 
  Release
manual deploy dev #1442134
allowed to fail manual
manual deploy prod #1442135
allowed to fail manual
manual pypi package #1442138
allowed to fail manual
manual python package #1442137
allowed to fail manual
manual release latest image #1442136
allowed to fail manual