From 75dbc070591c618a880bcf0cfc594760b05ca6d3 Mon Sep 17 00:00:00 2001
From: anna <Anna.Kozlova@jetbrains.com>
Date: Fri, 22 Nov 2013 18:10:59 +0100
Subject: [PATCH] plugins advertiser: ensure that installed plugin is not
 suggested (IDEA-116927) (cherry picked from commit
 0f50ba85bb24c992749a5e61503e03cd635b3e26)

---
 .../impl/pluginsAdvertisement/PluginsAdvertiser.java           | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/pluginsAdvertisement/PluginsAdvertiser.java b/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/pluginsAdvertisement/PluginsAdvertiser.java
index 8b2dc34d60a0..509de138bb06 100644
--- a/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/pluginsAdvertisement/PluginsAdvertiser.java
+++ b/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/pluginsAdvertisement/PluginsAdvertiser.java
@@ -127,6 +127,9 @@ public class PluginsAdvertiser implements StartupActivity {
           boolean isBundled = Boolean.parseBoolean(bundledExt.toString());
           if (!availableIds.contains(pluginId) && !isBundled) continue;
 
+          final IdeaPluginDescriptor plugin = PluginManager.getPlugin(PluginId.getId(pluginId));
+          if (plugin != null && plugin.isEnabled()) continue;
+
           final JsonElement ext = jsonObject.get("implementationName");
           final String extension = StringUtil.unquoteString(ext.toString());
           Set<Plugin> pluginIds = result.get(extension);