Ticket #1905: Allow Reloading Error Tiles.patch

src/wmsplugin/GeorefImage.java

@@ -26 +26 @@
     private Dimension reImgHash = new Dimension(0, 0);
     public EastNorth min, max;
     public boolean downloadingStarted;
+    public boolean failed = false;
 
     public GeorefImage(boolean downloadingStarted) {
         this.downloadingStarted = downloadingStarted;

src/wmsplugin/Grabber.java

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

src/wmsplugin/WMSLayer.java

@@ -203 +203 @@
                 startstop,
                 alphaChannel,
                 new JMenuItem(new changeResolutionAction()),
+                new JMenuItem(new reloadErrorTilesAction()),
                 new JMenuItem(new downloadAction()),
                 new JSeparator(),
                 new JMenuItem(new LayerListPopup.InfoAction(this))
@@ -239 +240 @@
         }
     }
     
+    public class reloadErrorTilesAction extends AbstractAction {
+        public reloadErrorTilesAction() {
+            super(tr("Reload erroneous tiles"));
+        }
+        public void actionPerformed(ActionEvent ev) {
+            for (int x = 0; x < dax; ++x) {
+                for (int y = 0; y < day; ++y) {
+                    GeorefImage img = images[modulo(x,dax)][modulo(y,day)];
+                    img.image = null;
+                    img.downloadingStarted = false;
+                    img.failed = false;
+                    mv.repaint();
+                }
+            }
+        }
+    }
+    
     public class ToggleAlphaAction extends AbstractAction {
         public ToggleAlphaAction() {
             super(tr("Alpha channel"));