Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/sphinx-doc/sphinx.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2020-03-07 05:30:01 +0300
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2020-03-07 13:36:41 +0300
commit941bf951acda5a27b6ff5adef6678c974b6615ba (patch)
tree21ebcfdeac2d917763b1bb155c08e9da9d4a548f /sphinx/theming.py
parent3b87df07ff0e875564684cf278427e31d7d4548d (diff)
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