mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-10-13 04:49:16 +02:00
We need to split out the color settings so that they can be set in themes anyway, so ...
We need to split out the color settings so that they can be set in themes anyway, so ...