Fix rounding artifacts of nav buttons

096e293c17Piotr Osiewicz committed on 8/10/2023, 1:26:05 PMparent9ad308f
1 file changedLine totals unavailable