mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-13 21:55:01 +07:00
plugins: take into account already installed plugins during dependencies check (IDEA-123767)
This commit is contained in:
@@ -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;
|
||||
|
||||
Reference in New Issue
Block a user