From b9ee30c79bff65ea17378195d1d273e46b4df9c1 Mon Sep 17 00:00:00 2001
From: anna <Anna.Kozlova@jetbrains.com>
Date: Wed, 27 Nov 2013 19:36:06 +0100
Subject: [PATCH] plugins advertise: download plugin if it was not explicitly
 disabled (IDEA-117003) (cherry picked from commit
 f739564c0fb744ef8b819f2df4011a9eaeb00685)

---
 .../impl/pluginsAdvertisement/PluginsAdvertiserDialog.java     | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/pluginsAdvertisement/PluginsAdvertiserDialog.java b/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/pluginsAdvertisement/PluginsAdvertiserDialog.java
index f663533d700d..dd702b14ae52 100644
--- a/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/pluginsAdvertisement/PluginsAdvertiserDialog.java
+++ b/platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/pluginsAdvertisement/PluginsAdvertiserDialog.java
@@ -80,8 +80,7 @@ public class PluginsAdvertiserDialog extends DialogWrapper {
       String pluginId = downloader.getPluginId();
       if (!mySkippedPlugins.contains(pluginId)) {
         pluginsToEnable.add(pluginId);
-        final IdeaPluginDescriptor descriptor = PluginManager.getPlugin(PluginId.getId(pluginId));
-        if (descriptor == null) {
+        if (!PluginManagerCore.getDisabledPlugins().contains(pluginId)) {
           final PluginNode pluginNode = PluginDownloader.createPluginNode(null, downloader);
           if (pluginNode != null) {
             nodes.add(pluginNode);