mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-05-13 08:26:56 +00:00
Allows easily changing the config without needing to restart the kitten which is difficult to do given its lifetime is managed by the xdg portals service. |
||
|---|---|---|
| .. | ||
| __init__.py | ||
| main.go | ||
| main.py | ||
| portal.go | ||