Changeset 13369 in josm for trunk/src/org/openstreetmap/josm/gui/widgets

Timestamp:

2018-01-30T18:48:26+01:00 (6 years ago)

Author:

stoecker

Message:

see #15734 - fix two icons by simply cutting the size. The circle is no longer prefectly round, but this produces best looking results with josm :-), add statusline image resizing

File:

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

trunk/src/org/openstreetmap/josm/gui/widgets/ImageLabel.java

@@ -11 +11 @@
 import org.openstreetmap.josm.tools.GBC;
 import org.openstreetmap.josm.tools.ImageProvider;
+import org.openstreetmap.josm.tools.ImageProvider.ImageSizes;
 
 /**
@@ -52 +53 @@
      */
     public void setIcon(String img) {
-        imgLabel.setIcon(ImageProvider.get("statusline/" + img));
+        imgLabel.setIcon(ImageProvider.get("statusline/", img, ImageSizes.STATUSLINE));
     }