Changeset 10369 in josm for trunk/src/org/openstreetmap/josm/io

Timestamp:

2016-06-14T17:23:20+02:00 (8 years ago)

Author:

stoecker

Message:

see #9995 - patch by strump - improve HIDPI

File:

• trunk/src/org/openstreetmap/josm/io/session/GenericSessionExporter.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/io/session/GenericSessionExporter.java

@@ -74 +74 @@
          */
         LayerSaveAction() {
-            putValue(SMALL_ICON, new ImageProvider("save").setWidth(16).get());
+            new ImageProvider("save").getResource().attachImageIcon(this);
             putValue(SHORT_DESCRIPTION, ((AbstractModifiableLayer) layer).requiresSaveToFile() ?
                     tr("Layer contains unsaved data - save to file.") :