summaryrefslogtreecommitdiff
path: root/sphinx/theming.py
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2020-03-07 11:30:01 +0900
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2020-03-07 19:36:41 +0900
commit941bf951acda5a27b6ff5adef6678c974b6615ba (patch)
tree21ebcfdeac2d917763b1bb155c08e9da9d4a548f /sphinx/theming.py
parent3b87df07ff0e875564684cf278427e31d7d4548d (diff)
downloadsphinx-git-941bf951acda5a27b6ff5adef6678c974b6615ba.tar.gz
Hello TYPE_CHECKING!
Diffstat (limited to 'sphinx/theming.py')
-rw-r--r--sphinx/theming.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/theming.py b/sphinx/theming.py
index 13a895393..2636329a0 100644
--- a/sphinx/theming.py
+++ b/sphinx/theming.py
@@ -14,6 +14,7 @@ import shutil
import tempfile
from os import path
from typing import Any, Dict, List
+from typing import TYPE_CHECKING
from zipfile import ZipFile
import pkg_resources
@@ -24,8 +25,7 @@ from sphinx.locale import __
from sphinx.util import logging
from sphinx.util.osutil import ensuredir
-if False:
- # For type annotation
+if TYPE_CHECKING:
from sphinx.application import Sphinx