[platform] prefers an older but compatible plugin (IDEA-188964)

2026-09-27 10:03:11 +07:00 · 2018-04-11 19:16:47 +02:00
parent 66b8f87a4b
commit ba73ed5ac5
1 changed files with 6 additions and 1 deletions
@@ -898,7 +898,12 @@ public class PluginManagerCore {
        if (oldIndex >= 0) {
          IdeaPluginDescriptorImpl oldDescriptor = result.get(oldIndex);
          if (StringUtil.compareVersionNumbers(oldDescriptor.getVersion(), descriptor.getVersion()) < 0) {
-            result.set(oldIndex, descriptor);
+            if (isIncompatible(descriptor) && isCompatible(oldDescriptor)) {
+              getLogger().info("newer plugin is incompatible, ignoring: " + descriptor.getPath());
+            }
+            else {
+              result.set(oldIndex, descriptor);
+            }
          }
        }
        else {