diff options
Diffstat (limited to 'platform/platform-impl/src/com/intellij/ide/plugins/PluginManager.java')
-rw-r--r-- | platform/platform-impl/src/com/intellij/ide/plugins/PluginManager.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManager.java b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManager.java index 57329fb8fe9d..e88a17416fc1 100644 --- a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManager.java +++ b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManager.java @@ -183,6 +183,7 @@ public class PluginManager extends PluginManagerCore { } else if (myPlugins2Enable != null && ENABLE.equals(description)) { disabledPlugins.removeAll(myPlugins2Enable); + PluginManagerMain.notifyPluginsWereUpdated("Changes were applied", null); } try { |