Skip to content
Snippets Groups Projects
Commit 70317322 authored by Fabian Heinrich's avatar Fabian Heinrich
Browse files

Correct management of gui window sizes, cleaner button press management.

parent 056e5646
No related branches found
No related tags found
No related merge requests found
Pipeline #43053 failed
Stage: test
Stage: deploy