Changeset 16931 in josm

Timestamp:

2020-08-25T22:56:01+02:00 (5 years ago)

Author:

Klumbumbus

Message:

see #15240 - Change default icon of a mappaint style and icon of style settings, fix style settings icon size

Location:

trunk

Files:

• nodist/images/dialogs/mappaint (added)
• nodist/images/dialogs/mappaint/pencil.svg (moved) (moved from trunk/resources/images/dialogs/mappaint/pencil.svg )
• src/org/openstreetmap/josm/gui/dialogs/MapPaintDialog.java (modified) (1 diff)
• src/org/openstreetmap/josm/gui/mappaint/StyleSource.java (modified) (1 diff)

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

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

trunk/src/org/openstreetmap/josm/gui/mappaint/StyleSource.java

@@ -204 +204 @@
     private static synchronized ImageProvider getDefaultIconProvider() {
         if (defaultIconProvider == null) {
-            defaultIconProvider = new ImageProvider("dialogs/mappaint", "pencil");
+            defaultIconProvider = new ImageProvider("dialogs", "mapstyle");
         }
         return defaultIconProvider;