2 ms·

FWIW you can tweak the line height in kitty, see https://sw.kovidgoyal.net/kitty/conf/#opt-kitty.modify_font https://sw.kovidgoyal.net/kitty/conf/#opt-kitty.mod

by ar0n 3y ago

FWIW you can tweak the line height in kitty, see https://sw.kovidgoyal.net/kitty/conf/#opt-kitty.modify_font https://sw.kovidgoyal.net/kitty/conf/#opt-kitty.modify_font