Changeset 10428 in josm for trunk/src/org/openstreetmap/josm/gui/SideButton.java

Timestamp:

2016-06-19T18:28:26+02:00 (8 years ago)

Author:

stoecker

Message:

see #9995 - patch mainly by strump - improve HIDPI behaviour

File:

• trunk/src/org/openstreetmap/josm/gui/SideButton.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/SideButton.java

@@ -56 +56 @@
      */
     public SideButton(Action action, boolean usename) {
-        super(action);
+        this(action);
         if (!usename) {
             setText(null);
-            fixIcon(action);
-            doStyle();
         }
     }
@@ -72 +70 @@
     public SideButton(Action action, String imagename) {
         super(action);
-        ImageProvider prov = new ImageProvider("dialogs", imagename);
-        setIcon(prov.setSize(ImageProvider.ImageSizes.SIDEBUTTON).get());
+        setIcon(ImageProvider.get("dialogs", imagename, ImageProvider.ImageSizes.SIDEBUTTON));
         doStyle();
     }