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

Merge remote-tracking branch 'origin/master'

Browse Source
This commit is contained in:
Ekaterina Tuzova
2013-10-01 19:40:49 +04:00
parent 651e4dcd2b 4d40b48178
commit ac6ec08eec
1 changed files with 5 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
+5
View File
@@ -112,6 +112,11 @@ public class PythonLanguageLevelPusher implements FilePropertyPusher<LanguageLev
return false;
}
@Override
public boolean acceptsDirectory(@NotNull VirtualFile file, @NotNull Project project) {
return true;
}
private static final FileAttribute PERSISTENCE = new FileAttribute("python_language_level_persistence", 2, true);
public void persistAttribute(@NotNull VirtualFile fileOrDir, @NotNull LanguageLevel level) throws IOException {