Skip to content
GitLab
Explore
Sign in
GNOME
gtk
Issues
#4354
Line spacing issues
There's a bunch of spacing quirks happening after the recent line spacing changes.
Line numbers aren't properly aligned with the actual content anymore.
Small font sizes have more spacing than expected.
Big font sizes have no spacing at all.