Changeset 10428 in josm for trunk/src/org/openstreetmap/josm/gui/dialogs/MapPaintDialog.java

Timestamp:

2016-06-19T18:28:26+02:00 (8 years ago)

Author:

stoecker

Message:

see #9995 - patch mainly by strump - improve HIDPI behaviour

File:

• trunk/src/org/openstreetmap/josm/gui/dialogs/MapPaintDialog.java (modified) (3 diffs)

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

@@ -342 +342 @@
             putValue(NAME, tr("On/Off"));
             putValue(SHORT_DESCRIPTION, tr("Turn selected styles on or off"));
-            putValue(SMALL_ICON, ImageProvider.get("apply"));
+            new ImageProvider("apply").getResource().attachImageIcon(this);
             updateEnabledState();
         }
@@ -380 +380 @@
             increment = isDown ? 1 : -1;
             putValue(NAME, isDown ? tr("Down") : tr("Up"));
-            putValue(SMALL_ICON, isDown ? ImageProvider.get("dialogs", "down") : ImageProvider.get("dialogs", "up"));
+            new ImageProvider("dialogs", isDown ? "down" : "up").getResource().attachImageIcon(this, true);
             putValue(SHORT_DESCRIPTION, isDown ? tr("Move the selected entry one row down.") : tr("Move the selected entry one row up."));
             updateEnabledState();
@@ -415 +415 @@
             putValue(NAME, tr("Reload from file"));
             putValue(SHORT_DESCRIPTION, tr("reload selected styles from file"));
-            putValue(SMALL_ICON, ImageProvider.get("dialogs", "refresh"));
+            new ImageProvider("dialogs", "refresh").getResource().attachImageIcon(this);
             setEnabled(getEnabledState());
         }