diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-10-16 09:57:54 +0900 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-10-16 09:57:54 +0900 |
commit | e7e07fd69723c02d6b011142f5e97fe2d42bd7d9 (patch) | |
tree | 1fe9194dd4115ed070212641ecc46e7d8846d13d /sphinx/highlighting.py | |
parent | 25678f391d55a701b7d5f2d2e214db980dcebbd3 (diff) | |
parent | be2b86cc15a2f5fca1581c25ebf2db9a189dbc41 (diff) | |
download | sphinx-git-e7e07fd69723c02d6b011142f5e97fe2d42bd7d9.tar.gz |
Merge branch '1.8'
Diffstat (limited to 'sphinx/highlighting.py')
-rw-r--r-- | sphinx/highlighting.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/highlighting.py b/sphinx/highlighting.py index 1775f8ddb..e61a891a0 100644 --- a/sphinx/highlighting.py +++ b/sphinx/highlighting.py @@ -149,8 +149,8 @@ class PygmentsBridge: # trim doctest options if wanted if isinstance(lexer, PythonConsoleLexer) and self.trim_doctest_flags: - source = doctest.blankline_re.sub('', source) # type: ignore - source = doctest.doctestopt_re.sub('', source) # type: ignore + source = doctest.blankline_re.sub('', source) + source = doctest.doctestopt_re.sub('', source) # highlight via Pygments formatter = self.get_formatter(**kwargs) |