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

IDEA-167495 Use all JavaLanguageLevelPusher-s on project language level change

Browse Source
This commit is contained in:
Ivan Bessonov
2017-02-02 14:18:56 +03:00
parent fbbad59cfb
commit fea17c601a
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-analysis-impl/src/com/intellij/openapi/roots/impl/JavaLanguageLevelPusher.java
+7 -1
View File
@@ -43,7 +43,13 @@ import java.io.IOException;
public class JavaLanguageLevelPusher implements FilePropertyPusher<LanguageLevel> {
public static void pushLanguageLevel(@NotNull final Project project) {
PushedFilePropertiesUpdater.getInstance(project).pushAll(new JavaLanguageLevelPusher());
PushedFilePropertiesUpdater instance = PushedFilePropertiesUpdater.getInstance(project);
FilePropertyPusher[] extensions = EP_NAME.getExtensions();
for (FilePropertyPusher pusher : extensions) {
if (pusher instanceof JavaLanguageLevelPusher) {
instance.pushAll(pusher);
}
}
}
@Override