mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-06-12 19:49:32 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
dd7fa6b25adf83453a0da3f705a468d2cb5e3a6d
kitty/kittens/desktop_ui
History
Nathan Monfils dd7fa6b25a kitten desktop-ui: Do not create an empty *-portals.conf file 
In the case where a portals.conf file does not exist in the user
configuration, there is nothing to patch; we should default to defining
the relevant portals for kitty.
2025-08-04 16:44:08 +02:00
..
__init__.py
…
main.go
More work on choose files integration
2025-07-02 14:49:24 +05:30
main.py
More work on choose files integration
2025-07-02 14:49:24 +05:30
portal.go
kitten desktop-ui: Do not create an empty *-portals.conf file
2025-08-04 16:44:08 +02:00