mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-27 18:51:41 +02:00
DRYer with global state stored in fewer places. And only round-tripping through python for font selection, not face creation.
2.5 KiB
2.5 KiB