MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

PythonLanguageLevelPusher.updateSdkLanguageLevels: don't start dumb task when there's nothing to do

Browse Source
This commit is contained in:
peter
2019-01-21 10:11:43 +01:00
parent d011dd32e6
commit 441fe8ff93
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/src/com/jetbrains/python/psi/impl/PythonLanguageLevelPusher.java
+2
View File
@@ -276,6 +276,8 @@ public class PythonLanguageLevelPusher implements FilePropertyPusher<LanguageLev
}
private void updateSdkLanguageLevels(@NotNull Project project, @NotNull Set<Sdk> sdks) {
if (sdks.isEmpty()) return;
final DumbService dumbService = DumbService.getInstance(project);
final DumbModeTask task = new DumbModeTask() {
@Override