diff --git a/platform/platform-impl/src/com/intellij/ide/plugins/PluginInstaller.java b/platform/platform-impl/src/com/intellij/ide/plugins/PluginInstaller.java index 3f5e43ce21cf..7919d1f894d0 100644 --- a/platform/platform-impl/src/com/intellij/ide/plugins/PluginInstaller.java +++ b/platform/platform-impl/src/com/intellij/ide/plugins/PluginInstaller.java @@ -83,6 +83,7 @@ public class PluginInstaller { PluginId depPluginId = pluginNode.getDepends().get(i); if (PluginManager.isPluginInstalled(depPluginId) || PluginManagerCore.isModuleDependency(depPluginId) || + PluginManagerUISettings.getInstance().getInstalledPlugins().contains(depPluginId.getIdString()) || (pluginIds != null && pluginIds.contains(depPluginId))) { // ignore installed or installing plugins continue;