kitty/kittens/unicode_input
2020-03-15 13:27:40 +05:30
..
__init__.py Start work on unicode input kitten 2018-02-08 11:00:57 +05:30
main.py Use a stub rather than TYPE_CHECKING 2020-03-15 13:27:40 +05:30
names.h Add a function to check if a codepoint is a symbol 2019-10-01 18:57:06 +05:30
unicode_names.c Fix character names for control characters not being read from unicode database 2018-05-01 10:13:58 +05:30
unicode_names.pyi More typing work 2020-03-03 20:18:24 +05:30