diff --git a/python/src/com/jetbrains/python/psi/impl/PythonLanguageLevelPusher.java b/python/src/com/jetbrains/python/psi/impl/PythonLanguageLevelPusher.java index 39db272b55e6..07b3b1b08eb6 100644 --- a/python/src/com/jetbrains/python/psi/impl/PythonLanguageLevelPusher.java +++ b/python/src/com/jetbrains/python/psi/impl/PythonLanguageLevelPusher.java @@ -276,6 +276,8 @@ public class PythonLanguageLevelPusher implements FilePropertyPusher sdks) { + if (sdks.isEmpty()) return; + final DumbService dumbService = DumbService.getInstance(project); final DumbModeTask task = new DumbModeTask() { @Override