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

Use font metrics for wcwidth()

Browse Source
This commit is contained in:
Kovid Goyal
2016-10-25 09:31:28 +05:30
parent b4730e747a
commit ca57eb9d05
2 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
kitty/utils.py
+4 -3
View File
@@ -33,12 +33,13 @@ def wcwidth(c: str) -> int:
return 0
if wcwidth.current_font is None:
return min(2, wcwidth_native(c))
wcwidth.current_font = wcwidth.cell_width = None
return wcwidth.current_font(c)
wcwidth.current_font = None
def set_current_font_metrics(current_font, cw: int) -> None:
def set_current_font_metrics(current_font) -> None:
wcwidth.cache_clear()
wcwidth.current_font, wcwidth.cell_width = current_font, cw
wcwidth.current_font = current_font
def create_pty():