MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-19 04:51:24 +07:00
Code Issues Packages Projects Releases Wiki Activity

revert accidentally pushed code

Browse Source 
GitOrigin-RevId: 51ac522fbe562cdac179abeb8b304ccefbe1a67a
This commit is contained in:
Dmitry Batkovich
2021-09-02 09:55:49 +03:00
committed by intellij-monorepo-bot
parent d9c8947360
commit 2b38117ed5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/python-psi-impl/src/com/jetbrains/python/psi/impl/PythonLanguageLevelPusher.java
View File

@@ -182,7 +182,7 @@ public final class PythonLanguageLevelPusher implements FilePropertyPusher<Strin
DataInputOutputUtil.writeINT(oStream, level.ordinal());
}
if (oldLanguageLevel != null && (!areLanguageLevelsCompatible(oldLanguageLevel, level) || !ProjectFileIndex.getInstance(project).isInContent(fileOrDir))) {
if (!areLanguageLevelsCompatible(oldLanguageLevel, level) || !ProjectFileIndex.getInstance(project).isInContent(fileOrDir)) {
PushedFilePropertiesUpdater.getInstance(project).filePropertiesChanged(fileOrDir, PythonLanguageLevelPusher::isPythonFile);
}
for (VirtualFile child : fileOrDir.getChildren()) {