Changeset 13369 in josm for trunk/src/org/openstreetmap/josm/tools/ImageProvider.java

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/tools/ImageProvider.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/tools/ImageProvider.java

@@ -172 +172 @@
          * @since 10358
          */
-        ABOUT_LOGO(256, 258);
+        ABOUT_LOGO(256, 258),
+        /**
+         * Status line logo size
+         * @since 13369
+         */
+        STATUSLINE(18, 18);
 
         private final int virtualWidth;