mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-86928 regenerate all sources if sdk was changed
This commit is contained in:
@@ -479,9 +479,13 @@ public class AndroidFacet extends Facet<AndroidFacetConfiguration> {
|
||||
|
||||
final Sdk newSdk = ModuleRootManager.getInstance(getModule()).getSdk();
|
||||
if (newSdk != null && newSdk.getSdkType() instanceof AndroidSdkType && !newSdk.equals(myPrevSdk)) {
|
||||
myPrevSdk = newSdk;
|
||||
androidPlatformChanged();
|
||||
|
||||
synchronized (myDirtyModes) {
|
||||
myDirtyModes.addAll(Arrays.asList(AndroidAutogeneratorMode.values()));
|
||||
}
|
||||
}
|
||||
myPrevSdk = newSdk;
|
||||
|
||||
PsiDocumentManager.getInstance(getModule().getProject()).commitAllDocuments();
|
||||
|
||||
|
||||
Reference in New Issue
Block a user