Changeset 10358 in josm for trunk/src/org/openstreetmap/josm/gui/widgets/TextContextualPopupMenu.java

Timestamp:

2016-06-12T12:00:38+02:00 (8 years ago)

Author:

stoecker

Message:

see #9995 - improve handling for HIDPI screens, patch by strump (modified by me)

File:

• trunk/src/org/openstreetmap/josm/gui/widgets/TextContextualPopupMenu.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/widgets/TextContextualPopupMenu.java

@@ -180 +180 @@
             mi.setText(label);
             if (iconName != null && Main.pref.getBoolean("text.popupmenu.useicons", true)) {
-                ImageIcon icon = new ImageProvider(iconName).setWidth(16).get();
+                ImageIcon icon = new ImageProvider(iconName).setSize(ImageProvider.ImageSizes.SMALLICON).get();
                 if (icon != null) {
                     mi.setIcon(icon);