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

Timestamp:

2016-06-12T12:00:38+02:00 (8 years ago)

Author:

stoecker

Message:

see #9995 - improve handling for HIDPI screens, patch by strump (modified by me)

File:

• trunk/src/org/openstreetmap/josm/gui/SideButton.java (modified) (1 diff)

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

@@ -92 +92 @@
             action.addPropertyChangeListener(propertyChangeListener);
         }
-        int iconHeight = ImageProvider.ImageSizes.SIDEBUTTON.getImageSize();
+        int iconHeight = ImageProvider.ImageSizes.SIDEBUTTON.getImageDimension().height;
         Icon i = getIcon();
         if (i instanceof ImageIcon && i.getIconHeight() != iconHeight) {