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

Make mypy happy

Browse Source
This commit is contained in:
Kovid Goyal
2023-09-25 21:30:42 +05:30
parent acd6b168fd
commit 2502111697
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
docs/conf.py
View File

@@ -553,7 +553,7 @@ def monkeypatch_man_writer() -> None:
'''
from docutils.writers.manpage import Table, Translator
class PatchedTable(Table):
class PatchedTable(Table): # type: ignore
_options: list[str]
def __init__(self) -> None:
super().__init__()
@@ -562,7 +562,7 @@ def monkeypatch_man_writer() -> None:
self._options = ['box', 'center']
def as_list(self) -> list[str]:
ans = super().as_list()
ans: list[str] = super().as_list()
if self.needs_border_removal:
# remove side and top borders as we use box in self._options
ans[2] = ans[2][1:]
@@ -573,8 +573,8 @@ def monkeypatch_man_writer() -> None:
del ans[-2] # bottom border
return ans
def visit_table(self: Translator, node: object) -> None:
self._active_table = PatchedTable() # type: ignore
Translator.visit_table = visit_table # type: ignore
setattr(self, '_active_table', PatchedTable())
setattr(Translator, 'visit_table', visit_table)
def setup(app: Any) -> None: