diff --git a/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java b/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java index 501075d8bf51..446cecb77a0c 100644 --- a/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java +++ b/platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java @@ -116,7 +116,9 @@ public class InstalledPluginsManagerMain extends PluginManagerMain { final Set notInstalled = new HashSet(); final Set disabledIds = new HashSet(); final PluginId[] dependentPluginIds = pluginDescriptor.getDependentPluginIds(); + final PluginId[] optionalDependentPluginIds = pluginDescriptor.getOptionalDependentPluginIds(); for (PluginId id : dependentPluginIds) { + if (Arrays.binarySearch(optionalDependentPluginIds, id) > -1) continue; final boolean disabled = ((InstalledPluginsTableModel)pluginsModel).isDisabled(id); final boolean enabled = ((InstalledPluginsTableModel)pluginsModel).isEnabled(id); if (!enabled && !disabled && !PluginManager.isModuleDependency(id)) {