Ticket #16510: cache.patch
File cache.patch, 790 bytes (added by , 6 years ago) |
---|
-
src/org/openstreetmap/josm/tools/ImageProvider.java
850 850 if (name == null) 851 851 return null; 852 852 853 if ("data".equals(subdir)) { 854 for (String ext : new String[] {".svg", ".png"}) { 855 ImageResource ir = cache.get("data/" + name + ext); 856 if (ir != null) 857 return ir; 858 859 } 860 } 861 853 862 String prefix = isDisabled ? "dis:" : ""; 854 863 if (name.startsWith("data:")) { 855 864 String url = name;