Changeset 13667 in osm for applications

Timestamp:

2009-02-11T18:17:20+01:00 (15 years ago)

Author:

stoecker

Message:

close #1905

Location:

applications/editors/josm/plugins/wmsplugin/src/wmsplugin

Files:

• GeorefImage.java (modified) (1 diff)
• Grabber.java (modified) (1 diff)
• WMSLayer.java (modified) (2 diffs)

applications/editors/josm/plugins/wmsplugin/src/wmsplugin/GeorefImage.java

@@ -27 +27 @@
     public EastNorth min, max;
     public boolean downloadingStarted;
+    public boolean failed = false;
 
     public GeorefImage(boolean downloadingStarted) {

applications/editors/josm/plugins/wmsplugin/src/wmsplugin/Grabber.java

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

applications/editors/josm/plugins/wmsplugin/src/wmsplugin/WMSLayer.java

@@ -204 +204 @@
                 alphaChannel,
                 new JMenuItem(new changeResolutionAction()),
+                new JMenuItem(new reloadErrorTilesAction()),
                 new JMenuItem(new downloadAction()),
                 new JSeparator(),
@@ -237 +238 @@
             getPPD();
             mv.repaint();
+        }
+    }
+    
+    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();
+                }
+            }
         }
     }