mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-06-08 22:28:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add more type annotations

Browse Source
This commit is contained in:
Kovid Goyal
2021-10-27 10:50:24 +05:30
parent 9c2f96f7eb
commit 6f19fd5912
5 changed files with 23 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
kittens/diff/diff_speedup.pyi
View File

@@ -4,9 +4,9 @@ from .collect import Segment
def split_with_highlights(
line: str, truncate_points: List[int], fg_highlights: List,
line: str, truncate_points: List[int], fg_highlights: List[Segment],
bg_highlight: Optional[Segment]
) -> List:
) -> List[str]:
pass

4
kittens/diff/render.py
View File

@@ -209,7 +209,7 @@ def truncate_points(line: str, width: int) -> Generator[int, None, None]:
break
def split_with_highlights(line: str, width: int, highlights: List, bg_highlight: Optional[Segment] = None) -> List:
def split_with_highlights(line: str, width: int, highlights: List[Segment], bg_highlight: Optional[Segment] = None) -> List[str]:
truncate_pts = list(truncate_points(line, width))
return _split_with_highlights(line, truncate_pts, highlights, bg_highlight)
@@ -270,7 +270,7 @@ def hunk_title(hunk_num: int, hunk: Hunk, margin_size: int, available_cols: int)
def render_half_line(
line_number: int,
line: str,
highlights: List,
highlights: List[Segment],
ltype: str,
margin_size: int,
available_cols: int,