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


Ignore:
Timestamp:
2018-01-30T18:48:26+01:00 (22 months 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

Location:
trunk/src/org/openstreetmap/josm
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/gui/widgets/ImageLabel.java

    r10191 r13369  
    1111import org.openstreetmap.josm.tools.GBC;
    1212import org.openstreetmap.josm.tools.ImageProvider;
     13import org.openstreetmap.josm.tools.ImageProvider.ImageSizes;
    1314
    1415/**
     
    5253     */
    5354    public void setIcon(String img) {
    54         imgLabel.setIcon(ImageProvider.get("statusline/" + img));
     55        imgLabel.setIcon(ImageProvider.get("statusline/", img, ImageSizes.STATUSLINE));
    5556    }
    5657
  • trunk/src/org/openstreetmap/josm/tools/ImageProvider.java

    r13356 r13369  
    172172         * @since 10358
    173173         */
    174         ABOUT_LOGO(256, 258);
     174        ABOUT_LOGO(256, 258),
     175        /**
     176         * Status line logo size
     177         * @since 13369
     178         */
     179        STATUSLINE(18, 18);
    175180
    176181        private final int virtualWidth;
Note: See TracChangeset for help on using the changeset viewer.