diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2019-12-15 18:05:35 +0300 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2019-12-15 18:05:35 +0300 |
commit | 712c20a3d91cd80247c5625782ba8ada2b2c2378 (patch) | |
tree | d151c391d9bc18aa2ceffa455efa658bafc1ec29 /sphinx/highlighting.py | |
parent | 5a03cac7d369ea71e1414792df62668ca5fd8190 (diff) | |
parent | cb5fab5db90c2177ede34af876b19e58b9dc1263 (diff) |
Merge branch '2.0'
Diffstat (limited to 'sphinx/highlighting.py')
-rw-r--r-- | sphinx/highlighting.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sphinx/highlighting.py b/sphinx/highlighting.py index ca2bdc48f..c659114d8 100644 --- a/sphinx/highlighting.py +++ b/sphinx/highlighting.py @@ -164,6 +164,7 @@ class PygmentsBridge: if self.dest == 'html': return hlsource else: + # MEMO: this is done to escape Unicode chars with non-Unicode engines return texescape.hlescape(hlsource, self.latex_engine) def get_stylesheet(self): |