Skip to content

Wider selection panel by default#5777

Merged
Wumpf merged 2 commits intomainfrom andreas/wider-side-barsApr 4, 2024