MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

disable a plugin silently if it depends on a missing module

Browse Source
This commit is contained in:
Dmitry Jemerov
2011-05-13 17:13:25 +02:00
parent 8301cbedae
commit f823bcbc2d
1 changed files with 12 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ide/plugins/PluginManager.java
+12 -10
View File
@@ -674,18 +674,20 @@ public class PluginManager {
}, new Condition<PluginId>() {
public boolean value(final PluginId pluginId) {
if (!idToDescriptorMap.containsKey(pluginId)) {
if (message.length() > 0) {
message.append("<br>");
}
pluginDescriptor.setEnabled(false);
disabledPluginIds.add(pluginDescriptor.getPluginId().getIdString());
final String name = pluginDescriptor.getName();
final IdeaPluginDescriptorImpl descriptor = idToDescriptorMap.get(pluginId);
String pluginName = descriptor == null ? pluginId.getIdString() : descriptor.getName();
if (!pluginId.getIdString().startsWith(MODULE_DEPENDENCY_PREFIX)) {
disabledPluginIds.add(pluginDescriptor.getPluginId().getIdString());
if (message.length() > 0) {
message.append("<br>");
}
final String name = pluginDescriptor.getName();
final IdeaPluginDescriptorImpl descriptor = idToDescriptorMap.get(pluginId);
String pluginName = descriptor == null ? pluginId.getIdString() : descriptor.getName();
message.append(getDisabledPlugins().contains(pluginId.getIdString())
? IdeBundle.message("error.required.plugin.disabled", name, pluginName)
: IdeBundle.message("error.required.plugin.not.installed", name, pluginName));
message.append(getDisabledPlugins().contains(pluginId.getIdString())
? IdeBundle.message("error.required.plugin.disabled", name, pluginName)
: IdeBundle.message("error.required.plugin.not.installed", name, pluginName));
}
it.remove();
return false;
}