This website requires JavaScript.
Explore
Help
Register
Sign In
KittyPatch
/
kitty
Watch
1
Star
0
Fork
0
Code
Issues
Pull Requests
Projects
Releases
Wiki
Activity
Files
c3807e175d70b1efd2890794ddaf1f60327c889e
kitty
/
kitty
/
options
T
History
egnor
9a56d619af
clarify the text for the "editor" config variable slightly
2021-07-28 22:18:03 -07:00
..
__init__.py
Move options code into its own directory
2021-05-31 17:40:48 +05:30
definition.py
clarify the text for the "editor" config variable slightly
2021-07-28 22:18:03 -07:00
parse.py
Add
url_excluded_characters
option to exclude characters from URLs.
2021-06-17 01:55:21 -04:00
to-c-generated.h
Add
url_excluded_characters
option to exclude characters from URLs.
2021-06-17 01:55:21 -04:00
to-c.h
Dont use static memory for the list of chars options
2021-06-17 13:27:11 +05:30
types.py
Fix a typo that broke addition of default mouse mappings in gen-config
2021-07-07 18:06:39 +05:30
utils.py
Allow specifying additional targets for detach_window
2021-07-28 21:50:09 +05:30