Changeset 5454 in josm for trunk/src/org/openstreetmap/josm/gui

Timestamp:

2012-08-18T21:37:17+02:00 (12 years ago)

Author:

Don-vip

Message:

see #6985 - Rescale preferences tab icons to 48x48 pixels

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java

@@ -7 +7 @@
 import java.awt.Font;
 import java.awt.GridBagLayout;
+import java.awt.Image;
 import java.awt.event.MouseWheelEvent;
 import java.awt.event.MouseWheelListener;
@@ -357 +358 @@
                     String iconName = tps.getIconName();
                     ImageIcon icon = iconName != null && iconName.length() > 0 ? ImageProvider.get("preferences", iconName) : null;
+                    // See #6985 - Force icons to be 48x48 pixels
+                    if (icon != null && (icon.getIconHeight() != 48 || icon.getIconWidth() != 48)) {
+                        icon = new ImageIcon(icon.getImage().getScaledInstance(48, 48, Image.SCALE_DEFAULT));
+                    }
                     if (settingsInitialized.contains(tps)) {
                         // If it has been initialized, add corresponding tab(s)