From 4d40b481785d876a420af28cb61f97d0ee9ac834 Mon Sep 17 00:00:00 2001 From: "Maxim.Mossienko" Date: Tue, 1 Oct 2013 16:08:35 +0200 Subject: [PATCH] language level pushers can skip individual directories in order to allow e.g. JavaLanguageLevelPusher to avoid nonsource roots --- .../jetbrains/python/psi/impl/PythonLanguageLevelPusher.java | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/python/src/com/jetbrains/python/psi/impl/PythonLanguageLevelPusher.java b/python/src/com/jetbrains/python/psi/impl/PythonLanguageLevelPusher.java index a047b342ac6f..e80033daf762 100644 --- a/python/src/com/jetbrains/python/psi/impl/PythonLanguageLevelPusher.java +++ b/python/src/com/jetbrains/python/psi/impl/PythonLanguageLevelPusher.java @@ -112,6 +112,11 @@ public class PythonLanguageLevelPusher implements FilePropertyPusher