hide the checkbox that disables menus since we haven't implemented it yet

13 jobs for 2.4.3 in 320 minutes and 20 seconds (queued for 7 minutes and 44 seconds)
latest
Status Job ID Name Coverage
  Test
passed #6406
debian stable amd64
debian_stable_amd64_deb

00:27:57

passed #6504
debian arm stable
debian_stable_arm_deb

00:25:26

passed #6405
debian stable i386
debian_stable_i386_deb

00:34:24

passed #6407
debian stretch amd64
debian_stretch_amd64_deb

00:26:16

passed #6412
osx v10.8 dmg
osx_10.8_amd64_dmg

00:20:47

passed #6411
osx v10.11 dmg
osx_amd64_dmg

00:20:55

passed #6409
ubuntu v14.04 amd64
ubuntu_14.04_amd64_deb

00:27:15

passed #6408
ubuntu v14.04 i386
ubuntu_14.04_i386_deb

00:29:40

passed #6410
ubuntu v16.04 amd64
ubuntu_16.04_amd64_deb

00:32:58

passed #6454
i386 windows
windows_i386_installer

01:14:37

canceled #6414
debian arm stable
debian_stable_arm_deb

00:12:29

failed #6442
stable arm debian
debian_stable_arm_deb

02:01:34

failed #6413
windows i386
windows_i386_installer

00:08:45