GNOME Bugzilla – Bug 738781
[Accessibility] Can one modify line spacing in gnome-terminal
Last modified: 2017-12-04 22:39:37 UTC
gnome-terminal-3.14.1-1.fc21.x86_64 I've just had someone ask whether it was possible to increase the line spacing in gnome-terminal. This particular gentleman has +3 corrective eye lenses in both eyes for astigmatism and he says he finds it difficult to use text intensive applications such as irssi in the terminal. He says he's already tried increasing the font sizes etc., and is using a font that has a large height difference between letters like "a.c.e" and "b,d,g,h" for the time being. Is there a setting for line spacing? I wonder if this is worth adding to accessibility? From his account, it seems like only increasing the font size isn't enough in all cases.
For a generic solution, we'd need to understand if any font engines support such feature, how it is done in other apps, etc. Probably there's a standard approach to address this problem (I mean, I'd guess he faces the same issue in other apps as well). I really don't know. As a quick workaround for the said person, you might want to manually modify and recompile-reinstall the VTE package, first adding these lines in src/vtedraw.c at the end of static void font_info_measure_font (struct font_info *info): info->height += 8; info->ascent += 4;
For a generic solution, we'd need to understand if any font engines support such feature, how it is done in other apps, etc. Probably there's a standard approach to address this problem (I'd guess he faces the same issue in other apps as well). I really don't know. As a quick workaround for the said person, you might want to manually modify and recompile-reinstall the VTE package, first adding these lines in src/vtedraw.c at the end of static void font_info_measure_font (struct font_info *info): info->height += 8; info->ascent += 4;
A recent bug fix in FreeType (https://savannah.nongnu.org/bugs/?50470) has caused line spacing to change for many people using gnome-terminal. See comments on https://bugzilla.redhat.com/show_bug.cgi?id=1437999. Arguably, the fonts are better rendered now, but it does significantly change the line spacing that people are used to. Being able to adjust line spacing separately from font size would help people who will be affected by this FreeType change that will eventually roll out.
Cont'd in bug 781479.
This is now being discused in bug 781479, so let's close this one. *** This bug has been marked as a duplicate of bug 781479 ***
This has now been implemented. See bug 781479 comment 82 for user instructions.