Minor gui changes.

5 jobs for v0.7.2 in 15 minutes (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build #995548

00:07:15

passed buildgui #995549

00:03:58

 
  Test
passed linting #995550

00:01:51

passed tests #995551

00:07:45

77.0%
 
  Release
manual release #995552
allowed to fail manual