mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
update language level without project reloading
This commit is contained in:
+1
-12
@@ -93,19 +93,8 @@ public class LanguageLevelModuleExtension extends ModuleExtension<LanguageLevelM
|
||||
@Override
|
||||
public void commit() {
|
||||
if (mySource != null && mySource.myLanguageLevel != myLanguageLevel) {
|
||||
if (myModule.isLoaded()) { //do not reload project for non-committed modules: j2me|project imports
|
||||
if (mySource.myLanguageLevel != myLanguageLevel) {
|
||||
final LanguageLevelProjectExtension languageLevelProjectExtension =
|
||||
LanguageLevelProjectExtension.getInstance(myModule.getProject());
|
||||
final LanguageLevel projectLanguageLevel = languageLevelProjectExtension.getLanguageLevel();
|
||||
final boolean explicit2ImplicitProjectLevel = myLanguageLevel == null && mySource.myLanguageLevel == projectLanguageLevel;
|
||||
final boolean implicit2ExplicitProjectLevel = mySource.myLanguageLevel == null && myLanguageLevel == projectLanguageLevel;
|
||||
if (!(explicit2ImplicitProjectLevel || implicit2ExplicitProjectLevel)) {
|
||||
languageLevelProjectExtension.reloadProjectOnLanguageLevelChange(myLanguageLevel == null ? projectLanguageLevel : myLanguageLevel, true);
|
||||
}
|
||||
}
|
||||
}
|
||||
mySource.myLanguageLevel = myLanguageLevel;
|
||||
LanguageLevelProjectExtension.getInstance(myModule.getProject()).languageLevelsChanged();
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user