diff options
author | Jean-François B <2589111+jfbu@users.noreply.github.com> | 2022-08-06 18:31:14 +0200 |
---|---|---|
committer | Jean-François B <2589111+jfbu@users.noreply.github.com> | 2022-08-06 18:31:14 +0200 |
commit | 5c82449eca73ef448eb7fdfbcc061cb91d70c18c (patch) | |
tree | c4a8394dd9105ba73e2df12c3c5e26cbae501d54 /sphinx/addnodes.py | |
parent | 6f530ca3ea305a4c4e077a237fc7196e959a4bb4 (diff) | |
parent | 59056aa7816ebae81aa6842290aa7a6ece14d1bd (diff) | |
download | sphinx-git-5c82449eca73ef448eb7fdfbcc061cb91d70c18c.tar.gz |
Merge branch '5.x'
Diffstat (limited to 'sphinx/addnodes.py')
-rw-r--r-- | sphinx/addnodes.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/addnodes.py b/sphinx/addnodes.py index 0a4a079da..e23f570d7 100644 --- a/sphinx/addnodes.py +++ b/sphinx/addnodes.py @@ -1,6 +1,6 @@ """Additional docutils nodes.""" -from typing import TYPE_CHECKING, Any, Dict, List, Sequence +from typing import TYPE_CHECKING, Any, Dict, List, Optional, Sequence import docutils from docutils import nodes @@ -27,7 +27,7 @@ class document(nodes.document): in your extensions. It will be removed without deprecation period. """ - def set_id(self, node: Element, msgnode: Element = None, + def set_id(self, node: Element, msgnode: Optional[Element] = None, suggested_prefix: str = '') -> str: if docutils.__version_info__ >= (0, 16): ret = super().set_id(node, msgnode, suggested_prefix) # type: ignore |