godotengine
/
godot
mirror of https://github.com/godotengine/godot
1
0
Fork 0
Code

Merge pull request #63510 from asmaloney/add-missing-type-hints

This commit is contained in:
Rémi Verschelde 2022-07-27 10:43:37 +02:00 committed by GitHub
parent cade90a807 4b3d6f04a8
commit 0065fcc947
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
doc/tools/make_rst.py
View File

@ -907,7 +907,7 @@ def make_rst_class(class_def, state, dry_run, output_dir): # type: (ClassDef, S
f.write(make_footer())
def escape_rst(text, until_pos=-1): # type: (str) -> str
def escape_rst(text, until_pos=-1): # type: (str, int) -> str
# Escape \ character, otherwise it ends up as an escape character in rst
pos = 0
while True:
@ -1301,7 +1301,7 @@ def rstize_text(text, state): # type: (str, State) -> str
return text
def format_table(f, data, remove_empty_columns=False): # type: (TextIO, Iterable[Tuple[str, ...]]) -> None
def format_table(f, data, remove_empty_columns=False): # type: (TextIO, Iterable[Tuple[str, ...]], bool) -> None
if len(data) == 0:
return