IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fix mypy violations (for mypy-0.720)

Browse Source
This commit is contained in:
Takeshi KOMIYA 2019-07-13 11:17:03 +09:00
parent 1d2d295a93
commit 9a552a9cd7
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
sphinx/ext/todo.py
View File

@ -159,7 +159,7 @@ class TodoListProcessor:
self.process(doctree, docname) self.process(doctree, docname)
def process(self, doctree: nodes.document, docname: str) -> None: def process(self, doctree: nodes.document, docname: str) -> None:
todos = sum(self.domain.todos.values(), []) todos = sum(self.domain.todos.values(), []) # type: List[todo_node]
for node in doctree.traverse(todolist): for node in doctree.traverse(todolist):
if not self.config.todo_include_todos: if not self.config.todo_include_todos:
node.parent.remove(node) node.parent.remove(node)
@ -220,7 +220,7 @@ def process_todo_nodes(app: Sphinx, doctree: nodes.document, fromdocname: str) -
warnings.warn('process_todo_nodes() is deprecated.', RemovedInSphinx40Warning) warnings.warn('process_todo_nodes() is deprecated.', RemovedInSphinx40Warning)
domain = cast(TodoDomain, app.env.get_domain('todo')) domain = cast(TodoDomain, app.env.get_domain('todo'))
todos = sum(domain.todos.values(), []) todos = sum(domain.todos.values(), []) # type: List[todo_node]
for node in doctree.traverse(todolist): for node in doctree.traverse(todolist):
if node.get('ids'): if node.get('ids'):