commit 4746e24c0eeebcafdc204830240f6cbc4d3c378d
parent f88e32c24f218e00db6334920421cd305f077421
Author: Florian Dold <florian.dold@gmail.com>
Date: Thu, 23 Apr 2020 16:31:44 +0530
compatibility with latest sphinx
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/_exts/typescriptdomain.py b/_exts/typescriptdomain.py
@@ -499,6 +499,7 @@ class MyHtmlBuilder(StandaloneHTMLBuilder):
self.highlighter = MyPygmentsBridge(
self, self.config.trim_doctest_flags
)
+ self.dark_highlighter = None
def get_annotation(tok, key):