kitty/kittens/unicode_input
2021-04-02 12:53:58 +05:30
..
__init__.py Start work on unicode input kitten 2018-02-08 11:00:57 +05:30
main.py Port key handling in more kittens 2021-01-16 20:52:15 +05:30
names.h Unicode input: Make diamond a synonym for gem 2021-04-02 12:53:58 +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