Changeset 20240 in osm for applications/editors/josm/plugins/cadastre-fr/src/cadastre_fr/CadastrePlugin.java

Timestamp:

2010-03-01T18:48:22+01:00 (14 years ago)

Author:

pieren

Message:

Grabbed images resolution configurable + fixed minor issues

File:

• applications/editors/josm/plugins/cadastre-fr/src/cadastre_fr/CadastrePlugin.java (modified) (4 diffs)

applications/editors/josm/plugins/cadastre-fr/src/cadastre_fr/CadastrePlugin.java

@@ -99 +99 @@
  *                 - raster image rotation issues fixed, now using shift+ctrl key instead of ctrl
  *                 - raster image adjustment using default system menu modifier (ctrl for windows) for Mac support
+ *                 - image resolution configurable (high, medium, low) like the online interface
  *                 - from Erik Amzallag:
  *                 -     possibility to modify the auto-sourcing text just before upload 
@@ -129 +130 @@
 
     public static boolean drawBoundaries = false;
+
+    public static int imageWidth, imageHeight;
 
     static private boolean menuEnabled = false;
@@ -177 +180 @@
             });
 
-            JMenuItem menuResetCookie = new JMenuItem(new MenuActionResetCookie());
+            //JMenuItem menuResetCookie = new JMenuItem(new MenuActionResetCookie());
             //JMenuItem menuLambertZone = new JMenuItem(new MenuActionLambertZone());
             JMenuItem menuLoadFromCache = new JMenuItem(new MenuActionLoadFromCache());
@@ -210 +213 @@
             transparency = 1.0f;
         }
+        String currentResolution = Main.pref.get("cadastrewms.resolution", "high");
+        if (currentResolution.equals("high")) {
+            imageWidth = 1000; imageHeight = 800;
+        } else if (currentResolution.equals("medium")){
+            imageWidth = 800; imageHeight = 600;
+        } else { 
+            imageWidth = 600; imageHeight = 400;
+        }
+        
         // overwrite F11 shortcut used from the beginning by this plugin and recently used
         // for full-screen switch in JOSM core