Ticket #16510: cache.patch

File cache.patch, 790 bytes (added by GerdP, 2 months ago)
  • src/org/openstreetmap/josm/tools/ImageProvider.java

     
    850850            if (name == null)
    851851                return null;
    852852
     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
    853862            String prefix = isDisabled ? "dis:" : "";
    854863            if (name.startsWith("data:")) {
    855864                String url = name;