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.
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.
On Fri, 2014-10-17 at 10:17 -0400, Matthias Clasen wrote:
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.
Thanks Matthias,
Bug filed:
https://bugzilla.gnome.org/show_bug.cgi?id=738781
desktop@lists.fedoraproject.org
-
Ankur Sinha -
Matthias Clasen