Closed tonyg closed 2 months ago
A similar kind of thing happens in other panels of the settings dialog too:
So I'm not the only one who experienced this!!!
Technically a duplicate of #652
Tab-stops are very large too. Is there something off about font-metrics?
Here's what I see:
To reproduce:
The version from the "about" window is
8.13.0.1-2024-04-24-fc4b6277b8
, since I built from git.