Ticket #19098: 19098-show-plugin-prefs-dialog.patch

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

@@ -53 +53 @@
 import javax.swing.JScrollPane;
 import javax.swing.UIManager;
 
+import org.openstreetmap.josm.actions.PreferencesAction;
 import org.openstreetmap.josm.actions.RestartAction;
 import org.openstreetmap.josm.data.Preferences;
 import org.openstreetmap.josm.data.PreferencesUtils;
@@ -62 +63 @@
 import org.openstreetmap.josm.gui.MainApplication;
 import org.openstreetmap.josm.gui.download.DownloadSelection;
 import org.openstreetmap.josm.gui.preferences.PreferenceSettingFactory;
+import org.openstreetmap.josm.gui.preferences.plugin.PluginPreference;
 import org.openstreetmap.josm.gui.progress.NullProgressMonitor;
 import org.openstreetmap.josm.gui.progress.ProgressMonitor;
 import org.openstreetmap.josm.gui.util.GuiHelper;
@@ -1542 +1544 @@
 
         switch (askUpdateDisableKeepPluginAfterException(plugin)) {
         case 0:
-            // update the plugin
-            updatePlugins(MainApplication.getMainFrame(), Collections.singleton(pluginInfo), null, true);
-            return pluginDownloadTask;
+            // show plugin preferences dialog
+            PreferencesAction.forPreferenceTab(null, null, PluginPreference.class).run();
+            return null;
         case 1:
             // deactivate the plugin
             plugins.remove(plugin.getPluginInformation().name);