mirror of
https://github.com/kovidgoyal/kitty.git
synced 2024-09-23 04:29:26 +03:00
fbcdf352ac
This is much smaller than before and essentially works around the issue of the text being scaled when the window is resized to small sizes. Also has the nice side effect of making the code simpler for the panel kitten. Fixes #3307 |
||
---|---|---|
.. | ||
__init__.py | ||
main.py |