mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
restore check for disabled plugins (IDEA-109421)
This commit is contained in:
+4
-1
@@ -220,6 +220,7 @@ public final class UpdateChecker {
|
||||
if (!toUpdate.isEmpty()) {
|
||||
try {
|
||||
final List<IdeaPluginDescriptor> process = RepositoryHelper.loadPluginsFromRepository(indicator);
|
||||
final List<String> disabledPlugins = PluginManagerCore.getDisabledPlugins();
|
||||
for (IdeaPluginDescriptor loadedPlugin : process) {
|
||||
final String idString = loadedPlugin.getPluginId().getIdString();
|
||||
if (!toUpdate.containsKey(idString)) continue;
|
||||
@@ -228,7 +229,9 @@ public final class UpdateChecker {
|
||||
prepareToInstall(downloaded, loadedPlugin);
|
||||
} else if (StringUtil.compareVersionNumbers(loadedPlugin.getVersion(), installedPlugin.getVersion()) > 0) {
|
||||
updateSettings.myOutdatedPlugins.add(idString);
|
||||
prepareToInstall(downloaded, loadedPlugin);
|
||||
if (!disabledPlugins.contains(idString)) {
|
||||
prepareToInstall(downloaded, loadedPlugin);
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user