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 #8671: highlight_options is not working

Browse Source 
Sadly HTML and LaTeX writers compares the highlight languages using
`is` operator.  As a result, it has not worked even if languages are
same.  This replaces the comparison operator by `==`.
This commit is contained in:
Takeshi KOMIYA 2021-01-10 23:38:50 +09:00
parent 6e445e1175
commit d7cdb9e22d
4 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
CHANGES
View File

@ -46,6 +46,7 @@ Bugs fixed
* #8665: html theme: Could not override globaltoc_maxdepth in theme.conf
* #8094: texinfo: image files on the different directory with document are not
copied
* #8671: :confval:`highlight_options` is not working
Testing
--------

2
sphinx/writers/html.py
View File

@ -439,7 +439,7 @@ class HTMLTranslator(SphinxTranslator, BaseTranslator):
linenos = node.get('linenos', False)
highlight_args = node.get('highlight_args', {})
highlight_args['force'] = node.get('force', False)
if lang is self.config.highlight_language:
if lang == self.config.highlight_language:
# only pass highlighter options for original language
opts = self.config.highlight_options
else:

2
sphinx/writers/html5.py
View File

@ -390,7 +390,7 @@ class HTML5Translator(SphinxTranslator, BaseTranslator):
linenos = node.get('linenos', False)
highlight_args = node.get('highlight_args', {})
highlight_args['force'] = node.get('force', False)
if lang is self.config.highlight_language:
if lang == self.config.highlight_language:
# only pass highlighter options for original language
opts = self.config.highlight_options
else:

2
sphinx/writers/latex.py
View File

@ -1751,7 +1751,7 @@ class LaTeXTranslator(SphinxTranslator):
linenos = node.get('linenos', False)
highlight_args = node.get('highlight_args', {})
highlight_args['force'] = node.get('force', False)
if lang is self.config.highlight_language:
if lang == self.config.highlight_language:
# only pass highlighter options for original language
opts = self.config.highlight_options
else: