Cosmetic change in MainWindow#370

Merged

tinevez merged 3 commits into

stefanhahmann-patch-5

Apr 28, 2025

Commits on Apr 23, 2025

Make MainWindow a bit wider
stefanhahmann
authored

Commits on Apr 24, 2025

Set the smaller font for Buttons and Labels as default on Linux/Unix systems and make MainWindow a bit smaller again
Stefan Hahmann
committed
Use github action setup-java@v4 instead of v2
Stefan Hahmann
committed