4 ms·
Have you tried messing with the line height in preferences? The font panel will allow you to set whatever you please
by tambourine_man 3y ago
Have you tried messing with the line height in preferences? The font panel will allow you to set whatever you please
- Patrick_Devine 3y agoYes, but I shouldn't have to do that, particularly when it works correctly in most other terminals.
- JdeBP 3y agoSpare a thought for we developers of terminal emulators. The block and line drawing characters have been being bodged since the time that IBM added the extra 9th column in hardware. I have a fairly trivial bodge for them in mine. Kovid Goyal over a period of 7 years has built up an extensive system for overriding the glyphs for block and line drawing characters that are supplied in fonts and replacing them with ones that Kitty constructs itself, all started because they just didn't line up when using what the fonts supplied. * https://github.com/kovidgoyal/kitty/issues/16 https://github.com/kovidgoyal/kitty/issues/16 * https://github.com/kovidgoyal/kitty/blob/28b84a2d5b2720b88fd282fc586fa9067ec05650/kitty/fonts/box_drawing.py#L775 https://github.com/kovidgoyal/kitty/blob/28b84a2d5b2720b88fd...