Realign dev branch with latest master branch#374

Merged

tinevez merged 14 commits into

mastodon-sc:devfrom

Sep 17, 2025

Commits on Apr 28, 2025

Make MainWindow a bit wider

stefanhahmann
authored and
tinevez
committed
Set the smaller font for Buttons and Labels as default on Linux/Unix systems and make MainWindow a bit smaller again

Stefan Hahmann
authored and
tinevez
committed
Use github action setup-java@v4 instead of v2

Stefan Hahmann
authored and
tinevez
committed

Commits on Jul 30, 2025

typo
tpietzsch
committed

Commits on Aug 18, 2025

Adapt benchmark for the paper.
tinevez
committed

Commits on Sep 16, 2025

Merge branch 'master' into dev
ctrueden
committed