MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

plugins advertise: download plugin if it was not explicitly disabled (IDEA-117003)

Browse Source 
(cherry picked from commit f739564c0fb744ef8b819f2df4011a9eaeb00685)
This commit is contained in:
anna
2013-11-28 12:21:40 +01:00
parent ca248d8e4d
commit b9ee30c79b
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/pluginsAdvertisement/PluginsAdvertiserDialog.java
+1 -2
View File
@@ -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);