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

Make MyPy happy

Browse Source
This commit is contained in:
Adam Turner 2023-01-02 17:00:26 +00:00
parent b32841e153
commit dc3f22a370
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
sphinx/writers/_html4.py
View File

@ -287,14 +287,14 @@ class HTML4Translator(SphinxTranslator, BaseTranslator):
else:
key = figtype
if figure_id in self.builder.fignumbers.get(key, {}):
if figure_id in self.builder.fignumbers.get(key, {}): # type: ignore[has-type]
self.body.append('<span class="caption-number">')
prefix = self.config.numfig_format.get(figtype)
if prefix is None:
msg = __('numfig_format is not defined for %s') % figtype
logger.warning(msg)
else:
numbers = self.builder.fignumbers[key][figure_id]
numbers = self.builder.fignumbers[key][figure_id] # type: ignore[has-type]
self.body.append(prefix % '.'.join(map(str, numbers)) + ' ')
self.body.append('</span>')
@ -569,7 +569,7 @@ class HTML4Translator(SphinxTranslator, BaseTranslator):
self.context.append('</a>')
elif 'filename' in node:
atts['class'] += ' internal'
atts['href'] = posixpath.join(self.builder.dlpath,
atts['href'] = posixpath.join(self.builder.dlpath, # type: ignore[has-type]
urllib.parse.quote(node['filename']))
self.body.append(self.starttag(node, 'a', '', **atts))
self.context.append('</a>')

6
sphinx/writers/html5.py
View File

@ -293,14 +293,14 @@ class HTML5Translator(SphinxTranslator, BaseTranslator):
else:
key = figtype
if figure_id in self.builder.fignumbers.get(key, {}):
if figure_id in self.builder.fignumbers.get(key, {}): # type: ignore[has-type]
self.body.append('<span class="caption-number">')
prefix = self.config.numfig_format.get(figtype)
if prefix is None:
msg = __('numfig_format is not defined for %s') % figtype
logger.warning(msg)
else:
numbers = self.builder.fignumbers[key][figure_id]
numbers = self.builder.fignumbers[key][figure_id] # type: ignore[has-type]
self.body.append(prefix % '.'.join(map(str, numbers)) + ' ')
self.body.append('</span>')
@ -544,7 +544,7 @@ class HTML5Translator(SphinxTranslator, BaseTranslator):
self.context.append('</a>')
elif 'filename' in node:
atts['class'] += ' internal'
atts['href'] = posixpath.join(self.builder.dlpath,
atts['href'] = posixpath.join(self.builder.dlpath, # type: ignore[has-type]
urllib.parse.quote(node['filename']))
self.body.append(self.starttag(node, 'a', '', **atts))
self.context.append('</a>')