[Accessibility] Can one modify line spacing in gnome-terminal

[Matthias Clasen]

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.