mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-21 16:05:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Note the Unicode version in the generated files

Browse Source 
Files generated from the same Unicode version will be consistent
regardless of the date they were built.
This commit is contained in:
pagedown
2022-11-18 13:01:32 +08:00
parent a9bb341e43
commit 76669ad14d
5 changed files with 14 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
gen-wcwidth.py
View File

@@ -278,8 +278,8 @@ def write_case(spec: Union[Tuple[int, ...], int], p: Callable[..., None], for_go
def create_header(path: str, include_data_types: bool = True) -> Generator[Callable[..., None], None, None]:
with open(path, 'w') as f:
p = partial(print, file=f)
p('// unicode data, built from the unicode standard on:', date.today())
p('// see gen-wcwidth.py')
p('// Unicode data, built from the Unicode Standard', '.'.join(map(str, unicode_version())))
p(f'// Code generated by {os.path.basename(__file__)}, DO NOT EDIT.', end='\n\n')
if path.endswith('.h'):
p('#pragma once')
if include_data_types: