Changeset 16932 in josm for trunk

Timestamp:

2020-08-25T23:27:27+02:00 (4 years ago)

Author:

Klumbumbus

Message:

see #15240 - Make style settings icon sharper

File:

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

trunk/src/org/openstreetmap/josm/gui/dialogs/MapPaintDialog.java

@@ -658 +658 @@
             JMenu setMenu = new JMenu(tr("Style settings"));
             setMenu.setIcon(new ImageProvider("dialogs/mapstyle").setMaxSize(ImageSizes.MENU).addOverlay(
-                new ImageOverlay(new ImageProvider("preference"), 0.3, 0.3, 1.0, 1.0)).get());
+                new ImageOverlay(new ImageProvider("preference"), 0.25, 0.25, 1.0, 1.0)).get());
             setMenu.setToolTipText(tr("Customize the style"));
             add(setMenu);