Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/sphinx-doc/sphinx.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2019-07-13 05:17:03 +0300
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2019-07-13 05:17:03 +0300
commit9a552a9cd785e979eda3ab2afa3d36777cce833d (patch)
tree8ceb01a50f36dfafcf49084c9dc712f03b74b5ab /sphinx/ext/todo.py
parent1d2d295a93db73f9648f016ee7fc0152efdaa9a7 (diff)
Fix mypy violations (for mypy-0.720)
Diffstat (limited to 'sphinx/ext/todo.py')
-rw-r--r--sphinx/ext/todo.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/ext/todo.py b/sphinx/ext/todo.py
index 49cd5019e..5da0342f8 100644
--- a/sphinx/ext/todo.py
+++ b/sphinx/ext/todo.py
@@ -159,7 +159,7 @@ class TodoListProcessor:
self.process(doctree, docname)
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):
if not self.config.todo_include_todos:
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)
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):
if node.get('ids'):