mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
plugins advertiser: do not suggest to update to ultimate on implicitly disabled plugins (IDEA-117040)
This commit is contained in:
+3
-2
@@ -138,8 +138,7 @@ public class PluginAdvertiserEditorNotificationProvider extends EditorNotificati
|
||||
});
|
||||
}
|
||||
});
|
||||
} else {
|
||||
|
||||
} else if (PluginsAdvertiser.hasBundledNotInstalledPlugin(plugins)){
|
||||
if (PropertiesComponent.getInstance().isTrueValue(PluginsAdvertiser.IGNORE_ULTIMATE_EDITION)) {
|
||||
return null;
|
||||
}
|
||||
@@ -159,6 +158,8 @@ public class PluginAdvertiserEditorNotificationProvider extends EditorNotificati
|
||||
myNotifications.updateAllNotifications();
|
||||
}
|
||||
});
|
||||
} else {
|
||||
return null;
|
||||
}
|
||||
panel.createActionLabel("Ignore extension", new Runnable() {
|
||||
@Override
|
||||
|
||||
+12
-5
@@ -210,6 +210,15 @@ public class PluginsAdvertiser implements StartupActivity {
|
||||
return null;
|
||||
}
|
||||
|
||||
static boolean hasBundledNotInstalledPlugin(Collection<Plugin> plugins) {
|
||||
for (Plugin plugin : plugins) {
|
||||
if (plugin.myBundled && PluginManager.getPlugin(PluginId.getId(plugin.myPluginId)) == null) {
|
||||
return true;
|
||||
}
|
||||
}
|
||||
return false;
|
||||
}
|
||||
|
||||
@Override
|
||||
public void runActivity(@NotNull final Project project) {
|
||||
if (!UpdateSettings.getInstance().CHECK_NEEDED) return;
|
||||
@@ -258,13 +267,11 @@ public class PluginsAdvertiser implements StartupActivity {
|
||||
if (pluginDescriptor != null) {
|
||||
myDisabledPlugins.put(plugin, pluginDescriptor);
|
||||
}
|
||||
} else {
|
||||
if (plugin.myBundled) {
|
||||
myBundledPlugins = true;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
myBundledPlugins = hasBundledNotInstalledPlugin(ids.values());
|
||||
|
||||
for (IdeaPluginDescriptor loadedPlugin : myAllPlugins) {
|
||||
final PluginId pluginId = loadedPlugin.getPluginId();
|
||||
if (ids.containsKey(pluginId.getIdString()) && !disabledPlugins.contains(pluginId.getIdString())) {
|
||||
|
||||
Reference in New Issue
Block a user