From 6b0298b93356e03568b1667efe5eef01429f29ac Mon Sep 17 00:00:00 2001
From: Nikolay Krasko <Nikolay.Krasko@jetbrains.com>
Date: Tue, 18 Mar 2014 14:38:20 +0400
Subject: [PATCH] Silently disable other incompatible framework

 #KT-4644 In Progress
---
 .../plugin/framework/JSFrameworkSupportProvider.java   | 10 ++++++++++
 .../plugin/framework/JavaFrameworkSupportProvider.java | 10 ++++++++++
 2 files changed, 20 insertions(+)

diff --git a/idea/src/org/jetbrains/jet/plugin/framework/JSFrameworkSupportProvider.java b/idea/src/org/jetbrains/jet/plugin/framework/JSFrameworkSupportProvider.java
index 784456e2e97..3372edf3a85 100644
--- a/idea/src/org/jetbrains/jet/plugin/framework/JSFrameworkSupportProvider.java
+++ b/idea/src/org/jetbrains/jet/plugin/framework/JSFrameworkSupportProvider.java
@@ -76,6 +76,16 @@ public class JSFrameworkSupportProvider extends FrameworkSupportInModuleProvider
 
                 description.finishLibConfiguration(module, rootModel);
             }
+
+            @Override
+            public void onFrameworkSelectionChanged(boolean selected) {
+                if (selected) {
+                    String providerId = JavaFrameworkType.getInstance().getId();
+                    if (model.isFrameworkSelected(providerId)) {
+                        model.setFrameworkComponentEnabled(providerId, false);
+                    }
+                }
+            }
         };
     }
 
diff --git a/idea/src/org/jetbrains/jet/plugin/framework/JavaFrameworkSupportProvider.java b/idea/src/org/jetbrains/jet/plugin/framework/JavaFrameworkSupportProvider.java
index 544a13f14a2..3a6c0c00c0f 100644
--- a/idea/src/org/jetbrains/jet/plugin/framework/JavaFrameworkSupportProvider.java
+++ b/idea/src/org/jetbrains/jet/plugin/framework/JavaFrameworkSupportProvider.java
@@ -74,6 +74,16 @@ public class JavaFrameworkSupportProvider extends FrameworkSupportInModuleProvid
 
                 description.finishLibConfiguration(module, rootModel);
             }
+
+            @Override
+            public void onFrameworkSelectionChanged(boolean selected) {
+                if (selected) {
+                    String providerId = JSFrameworkType.getInstance().getId();
+                    if (model.isFrameworkSelected(providerId)) {
+                        model.setFrameworkComponentEnabled(providerId, false);
+                    }
+                }
+            }
         };
     }