KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Unicode input: Make diamond a synonym for gem

Browse Source 
Fixes #3437
This commit is contained in:
Kovid Goyal 2021-04-02 12:53:58 +05:30
parent cb515157b3
commit ff1585acfe
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
5 changed files with 14588 additions and 14587 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
gen-wcwidth.py
View File

@ -114,6 +114,7 @@ def parse_ucd() -> None:
word_search_map['bee'] |= word_search_map['honeybee']
word_search_map['lambda'] |= word_search_map['lamda']
word_search_map['lamda'] |= word_search_map['lambda']
word_search_map['diamond'] |= word_search_map['gem']
def parse_range_spec(spec: str) -> Set[int]:

29168
kittens/unicode_input/names.h generated
View File

File diff suppressed because one or more lines are too long

2
kitty/emoji.h generated
View File

@ -1,4 +1,4 @@
// unicode data, built from the unicode standard on: 2020-09-22
// unicode data, built from the unicode standard on: 2021-04-02
// see gen-wcwidth.py
#pragma once
#include "data-types.h"

2
kitty/unicode-data.c generated
View File

@ -1,4 +1,4 @@
// unicode data, built from the unicode standard on: 2020-09-22
// unicode data, built from the unicode standard on: 2021-04-02
// see gen-wcwidth.py
#include "data-types.h"

2
kitty/wcwidth-std.h generated
View File

@ -1,4 +1,4 @@
// unicode data, built from the unicode standard on: 2020-09-22
// unicode data, built from the unicode standard on: 2021-04-02
// see gen-wcwidth.py
#pragma once
#include "data-types.h"