On Fri, 2014-10-17 at 11:06 +0100, Ankur Sinha wrote:
Hello,
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.
You should probably file an upstream bug to discuss this - I don't see
any gnome-terminal or vte bugs discussing line spacing. Our attempt to
add variable line spacing was not well received upstream, but this is a
little different.