Open KazeDog opened 2 years ago
Re Georgia: you shouldn't be using a non-monospace font in a terminal.
Re Georgia: you shouldn't be using a non-monospace font in a terminal.
Oh, yes. But what is the second problem? It doesn't affect already opened terminals, only newly opened terminals after setting the font.
I am having extra space in between lines as well. I messed with the terminal.linePadding
option, but it does not fix the line spacing, no matter what value I specify.
This is at 100% zoom with 30
font size. Looks okay. 👍🏻
This is at higher zoom with same 30
font size. Looks bad, because of extra space between lines. 👎🏻
The only way for me to work around this is to increase the font size setting in Tabby.
Re Georgia: you shouldn't be using a non-monospace font in a terminal.
I use Cascadia Mono SemiBold font to get something a little bigger
Describe the problem:
fig 1: fig 2: