Ticket #1954: WMS Invalidate.patch

src/wmsplugin/Grabber.java

@@ -52 +52 @@
         g.setColor(Color.BLACK);
         g.drawString(tr("Exception occurred"), 10, height()/2);
         image.image = img;
+        image.flushedResizedCachedInstance();
         image.failed = true;
         g.setFont(font);
     }

src/wmsplugin/WMSGrabber.java

@@ -55 +55 @@
             image.min = proj.latlon2eastNorth(b.min);
             image.max = proj.latlon2eastNorth(b.max);
 
-            if(image.isVisible(mv)) //don't download, if the image isn't visible already
+            if(image.isVisible(mv)) { //don't download, if the image isn't visible already
                 image.image = grab(url);
+                image.flushedResizedCachedInstance();
+            }
             image.downloadingStarted = false;
         } catch(Exception e) {
             throw new Exception(e.getMessage() + "\nImage couldn't be fetched: " + (url != null ? url.toString() : ""));

src/wmsplugin/WMSLayer.java

@@ -171 +171 @@
                 if(!img.paint(g, mv, dx, dy) && !img.downloadingStarted){
                     img.downloadingStarted = true;
                     img.image = null;
+                    img.flushedResizedCachedInstance();
                     Grabber gr = WMSPlugin.getGrabber(baseURL, XYtoBounds(x,y), Main.main.proj, pixelPerDegree, img, mv, this);
                     executor.submit(gr);
             }
@@ -249 +250 @@
                 for (int y = 0; y < day; ++y) {
                     GeorefImage img = images[modulo(x,dax)][modulo(y,day)];
                     img.image = null;
+                    img.flushedResizedCachedInstance();
                     img.downloadingStarted = false;
                     img.failed = false;
                     mv.repaint();