Ticket #2752: wmsmem.diff

src/wmsplugin/GeorefImage.java

@@ -87 +87 @@
         }
 
         boolean alphaChannel = Main.pref.getBoolean("wmsplugin.alpha_channel");
+        int maxres = Main.pref.getInteger("wmsplugin.reimg_res",1000);
         // We don't need this, as simply saving the image to RGB instead of ARGB removes alpha
         // But we do get a black instead of white background.
         //Image ppImg = image;
@@ -106 +107 @@
             // Storing images this large in memory will certainly hang up JOSM. Luckily
             // traditional rendering is as fast at these zoom levels, so it's no loss.
             // Also prevent caching if we're out of memory soon
-            if(width > 10000 || height > 10000 || width*height*3 > freeMem) {
+            if(width > maxres || height > maxres || width*height*3 > freeMem) {
                 fallbackDraw(g, image, minPt, maxPt);
             } else {
                 // We haven't got a saved resized copy, so resize and cache it