Changeset 13842 in josm for trunk/src/org/openstreetmap/josm/plugins

Timestamp:

2018-05-26T17:11:30+02:00 (3 years ago)

Author:

Don-vip

Message:

see #16319 - scale properly all icons using ButtonSpec

File:

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

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

@@ -488 +488 @@
                 new ButtonSpec(
                         tr("Update plugins"),
-                        ImageProvider.get("dialogs", "refresh"),
+                        new ImageProvider("dialogs", "refresh"),
                         tr("Click to update the activated plugins"),
                         null /* no specific help context */
@@ -494 +494 @@
                 new ButtonSpec(
                         tr("Skip update"),
-                        ImageProvider.get("cancel"),
+                        new ImageProvider("cancel"),
                         tr("Click to skip updating the activated plugins"),
                         null /* no specific help context */
@@ -565 +565 @@
                 new ButtonSpec(
                         tr("Download and restart"),
-                        ImageProvider.get("restart"),
+                        new ImageProvider("restart"),
                         trn("Click to download missing plugin and restart JOSM",
                             "Click to download missing plugins and restart JOSM",
@@ -573 +573 @@
                 new ButtonSpec(
                         tr("Continue"),
-                        ImageProvider.get("ok"),
+                        new ImageProvider("ok"),
                         trn("Click to continue without this plugin",
                             "Click to continue without these plugins",
@@ -1169 +1169 @@
                 new ButtonSpec(
                         tr("Disable plugin"),
-                        ImageProvider.get("dialogs", "delete"),
+                        new ImageProvider("dialogs", "delete"),
                         tr("Click to delete the plugin ''{0}''", name),
                         null /* no specific help context */
@@ -1175 +1175 @@
                 new ButtonSpec(
                         tr("Keep plugin"),
-                        ImageProvider.get("cancel"),
+                        new ImageProvider("cancel"),
                         tr("Click to keep the plugin ''{0}''", name),
                         null /* no specific help context */
@@ -1361 +1361 @@
                 new ButtonSpec(
                         tr("Update plugin"),
-                        ImageProvider.get("dialogs", "refresh"),
+                        new ImageProvider("dialogs", "refresh"),
                         tr("Click to update the plugin ''{0}''", plugin.getPluginInformation().name),
                         null /* no specific help context */
@@ -1367 +1367 @@
                 new ButtonSpec(
                         tr("Disable plugin"),
-                        ImageProvider.get("dialogs", "delete"),
+                        new ImageProvider("dialogs", "delete"),
                         tr("Click to disable the plugin ''{0}''", plugin.getPluginInformation().name),
                         null /* no specific help context */
@@ -1373 +1373 @@
                 new ButtonSpec(
                         tr("Keep plugin"),
-                        ImageProvider.get("cancel"),
+                        new ImageProvider("cancel"),
                         tr("Click to keep the plugin ''{0}''", plugin.getPluginInformation().name),
                         null /* no specific help context */