kitty/kitty/options
2021-06-21 04:01:45 +05:30
..
__init__.py Move options code into its own directory 2021-05-31 17:40:48 +05:30
definition.py mouse_discard_event -> discard_event 2021-06-21 04:01:45 +05:30
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 mouse_discard_event -> discard_event 2021-06-21 04:01:45 +05:30
utils.py Allow specifying adjust_baseline as either pixels or percentage 2021-06-16 01:11:51 -04:00