Is it possible to change the line spacing in Terminal, or is there some other app that allows it? I'm moving from the Mac, and its terminal app has this feature which allows line spacing to be changed independent of the font size.
E.g., here's Monaco on the Mac at 17pt, without any adjustments. My issue with it is that it's a jumble of text - the eye is drawn vertically as much as it is horizontally:
And with "1.1" line spacing and slightly tighter character spacing. I do this so that my eye follows lines easier. It's a general rule of thumb in layout that space between lines should be larger than the space between words. This gets a little closer to that ideal:
I'm wondering how to achieve this with Ubuntu. For now, my best workaround is to use Source Code Pro, which is designed with these ideas in mind, apparently:
