Add preference to customize vertical line spacing #4882

Open
opened 2026-01-30 23:59:03 +00:00 by claunia · 0 comments
Owner

Originally created by @Spongman on GitHub (Nov 9, 2019).

Originally assigned to: @lhecker on GitHub.

the space between lines is way too large.

here's a comparison of the same block of text in terminal (top-left) and windows 10 command prompt (both bottom and right). the font is 'Lucida Console' in both programs.

the block on the bottom shows that the fonts are the same size (the width is the same).

the block on the right shows that the Terminal rendering is nearly 40% larger (blue arrow) than the Command Prompt rendering. That's 40% less text i can read without scrolling.

at the very least there needs to be an option to change the leading (that scales properly), although i'd recommend making it look like Command Prompt by default.

image

Originally created by @Spongman on GitHub (Nov 9, 2019). Originally assigned to: @lhecker on GitHub. the space between lines is _way_ too large. here's a comparison of the same block of text in terminal (top-left) and windows 10 command prompt (both bottom and right). the font is 'Lucida Console' in both programs. the block on the bottom shows that the fonts are the same size (the width is the same). the block on the right shows that the Terminal rendering is nearly 40% larger (blue arrow) than the Command Prompt rendering. That's 40% less text i can read without scrolling. at the very least there needs to be an option to change the leading (that scales properly), although i'd recommend making it look like Command Prompt by default. ![image](https://user-images.githubusercontent.com/1088194/68524038-55606a80-0276-11ea-9573-4fb57e439afc.png)
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#4882