Skip to content
Closed
Milestone expired on Jun 2, 2022

21 GUI fixes

After completion of the big refactoring, fix diverse GUI issues.