Minor GUI fixes.

5 jobs for v0.7.2 in 28 minutes and 58 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build #995525

00:20:29

passed buildgui #995526

00:04:27

 
  Test
passed linting #995527

00:01:57

passed tests #995528

00:08:28

76.0%
 
  Release
manual release #995529
allowed to fail manual