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

confirm restart and disabling plugin

Browse Source
This commit is contained in:
Dmitry Jemerov
2010-10-21 21:50:41 +04:00
parent 8d0494ccca
commit dca32a2182
1 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/diagnostic/IdeErrorsDialog.java
+10 -1
View File
@@ -453,6 +453,11 @@ public class IdeErrorsDialog extends DialogWrapper implements MessagePoolListene
}
public void actionPerformed(ActionEvent e) {
final boolean canRestart = ApplicationManager.getApplication().isRestartCapable();
int rc = Messages.showYesNoDialog(getRootPane(), "Are you sure you would like to " + (canRestart ? "restart" : "shutdown") +
" " + ApplicationNamesInfo.getInstance().getFullProductName() + "?",
"Confirm", Messages.getQuestionIcon());
if (rc != 0) return;
myMessagePool.setJvmIsShuttingDown();
LaterInvocator.invokeLater(new Runnable() {
public void run() {
@@ -657,9 +662,13 @@ public class IdeErrorsDialog extends DialogWrapper implements MessagePoolListene
PluginManager.disablePlugin(pluginId.toString());
final Application app = ApplicationManager.getApplication();
final String pluginName = app.getPlugin(pluginId).getName();
int rc = Messages.showYesNoDialog(getRootPane(), "Are you sure you would like to disable the plugin " + pluginName +
"? The features provided by the plugin will no longer be available.",
"Disable Plugin", Messages.getQuestionIcon());
if (rc != 0) return;
final String productName = ApplicationNamesInfo.getInstance().getFullProductName();
if (app.isRestartCapable()) {
int rc = Messages.showYesNoDialog(getRootPane(), pluginName + " has been disabled. Would you like to restart " + productName + " so that the changes would take effect?",
rc = Messages.showYesNoDialog(getRootPane(), pluginName + " has been disabled. Would you like to restart " + productName + " so that the changes would take effect?",
"Disable Plugin", Messages.getInformationIcon());
if (rc == 0) {
app.restart();