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

suggest to restart IDEA if user accepted to enable/disable plugins from startup notification (IDEA-121369)

Browse Source
This commit is contained in:
Anna Kozlova
2014-06-06 18:20:43 +04:00
parent 693bbf6ef8
commit 39cc27d48c
2 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/plugins/PluginManager.java
+2
View File
@@ -178,6 +178,8 @@ public class PluginManager extends PluginManagerCore {
myPlugins2Enable = null;
myPlugins2Disable = null;
PluginManagerMain.notifyPluginsWereUpdated("Changes were applied", null);
}
}));
myPluginError = null;
platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java
+1 -1
View File
@@ -628,7 +628,7 @@ public abstract class PluginManagerMain implements Disposable {
: "Plugins were installed", project);
}
public static void notifyPluginsWereUpdated(final String title, final Project project) {
public static void notifyPluginsWereUpdated(final String title, @Nullable final Project project) {
final ApplicationEx app = ApplicationManagerEx.getApplicationEx();
final boolean restartCapable = app.isRestartCapable();
String message =