Changeset 1506 in josm for trunk

Timestamp:

2009-03-19T10:22:42+01:00 (16 years ago)

Author:

stoecker

Message:

close #2300 - Disable plugin dialog is confusing

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java (modified) (4 diffs)

trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

@@ -33 +33 @@
 import org.openstreetmap.josm.gui.MapFrame;
 import org.openstreetmap.josm.gui.download.DownloadSelection;
-import org.openstreetmap.josm.gui.ExtendedDialog; 
+import org.openstreetmap.josm.gui.ExtendedDialog;
 import org.openstreetmap.josm.gui.preferences.PreferenceSetting;
 import org.openstreetmap.josm.tools.GBC;
@@ -150 +150 @@
                 } catch (Throwable e) {
                     e.printStackTrace();
-                    
-                    int result = new ExtendedDialog(Main.parent, 
-                        tr("Disable plugin"), 
+
+                    int result = new ExtendedDialog(Main.parent,
+                        tr("Disable plugin"),
                         tr("Could not load plugin {0}. Delete from preferences?", info.name),
-                        new String[] {tr("Disable plugin"), tr("Cancel")}, 
-                        new String[] {"dialogs/delete.png", "cancel.png"}).getValue();  
-                    
+                        new String[] {tr("Disable plugin"), tr("Keep plugin")},
+                        new String[] {"dialogs/delete.png", "cancel.png"}).getValue();
+
                     if(result == 1)
                     {
@@ -251 +251 @@
 
         if (plugin != null) {
-            int answer = new ExtendedDialog(Main.parent, 
-                tr("Disable plugin"), 
+            int answer = new ExtendedDialog(Main.parent,
+                tr("Disable plugin"),
                 tr("An unexpected exception occurred that may have come from the ''{0}'' plugin.", plugin.info.name)
                     + "\n"
@@ -262 +262 @@
                     + "\n"
                     + tr("Should the plugin be disabled?"),
-                new String[] {tr("Disable plugin"), tr("Cancel")}, 
-                new String[] {"dialogs/delete.png", "cancel.png"}).getValue();  
+                new String[] {tr("Disable plugin"), tr("Cancel")},
+                new String[] {"dialogs/delete.png", "cancel.png"}).getValue();
             if (answer == 1) {
                 LinkedList<String> plugins = new LinkedList<String>(Arrays.asList(Main.pref.get("plugins").split(",")));