Changeset 13647 in josm for trunk/src/org/openstreetmap/josm/gui/mappaint/StyleSource.java

Timestamp:

2018-04-19T20:37:16+02:00 (6 years ago)

Author:

Don-vip

Message:

see #16204 - Allow to start and close JOSM in WebStart sandbox mode (where every external access is denied). This was very useful to reproduce some very tricky bugs that occured in real life but were almost impossible to diagnose.

File:

• trunk/src/org/openstreetmap/josm/gui/mappaint/StyleSource.java (modified) (1 diff)

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

@@ -223 +223 @@
             i = new ImageProvider(i).addOverlay(new ImageOverlay(new ImageProvider("warning-small"), 0.5, 0.5, 1, 1));
         }
-        return i;
+        return i.setOptional(true);
     }