kitty/kittens/unicode_input
purxiz 89c62377da fix type error
I moved the location of the check for an overflowing index to avoid a type error that was revealed by mypy. I also think this is a better place to put it from a code standpoint in general...
2021-01-06 13:24:38 -06:00
..
__init__.py Start work on unicode input kitten 2018-02-08 11:00:57 +05:30
main.py fix type error 2021-01-06 13:24:38 -06:00
names.h Unicode input kitten: Add symbols from NERD font 2020-09-22 19:47:39 +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