Closed
Description
Description of the new feature/enhancement
Feeling like the terminal row height could be reduced few pixels.
For comparison.
I have gnome terminal set up with font: Ubuntu Mono Regular, size 8
and windows terminal set up with font: Ubuntu Mono Regular: size 10.
First of all, despite these two terminals set with different font sizes, the font appears to be
the same viewing size. The different is windows terminal with size 10 is taller than gnome terminal with font-size 8.