Skip to content

Improve GUI user experience#175

Merged
RalfG merged 3 commits intomainfrom feature/gui-streamliningSep 5, 2024