Commit 630680b4 authored by Tobias Weber's avatar Tobias Weber

Merge branch 'gui_cleanup' into 'develop'

Tidying up some GUI elements

Closes #150

See merge request !144
parents 0315cacc 34a438c7
Pipeline #24256 passed with stage
in 28 minutes and 32 seconds