Changeset 18109 in osm for applications/editors/josm

Timestamp:

2009-10-13T12:22:54+02:00 (15 years ago)

Author:

pieren

Message:

add a file filter in selector

File:

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

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

@@ -5 +5 @@
 import java.awt.event.ActionEvent;
 import java.awt.image.BufferedImage;
+import java.io.BufferedOutputStream;
 import java.io.File;
+import java.io.FileOutputStream;
 import java.io.IOException;
 
 import javax.imageio.ImageIO;
 import javax.swing.JFileChooser;
+import javax.swing.filechooser.FileFilter;
 
 import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.actions.JosmAction;
+
+import com.sun.image.codec.jpeg.JPEGCodec;
+import com.sun.image.codec.jpeg.JPEGImageEncoder;
 
 public class MenuActionSaveRasterAs extends JosmAction {
@@ -21 +27 @@
     
     private WMSLayer wmsLayer;
+    
+    public class FiltrePng extends FileFilter {
+        @Override
+        public boolean accept(File file) {
+            if (file.isDirectory()) { 
+                return true;
+            } 
+            return file.getName().toLowerCase().endsWith(".png");
+        }
+
+        @Override
+        public String getDescription() {
+            return tr("PNG files (*.png)");
+        }
+        
+    }
+    
+    FiltrePng filtrePng = new FiltrePng();
 
     public MenuActionSaveRasterAs(WMSLayer wmsLayer) {
@@ -30 +54 @@
         File file;
         JFileChooser fc = new JFileChooser();
+        fc.setFileFilter(filtrePng);
         int returnVal = fc.showSaveDialog(Main.parent);
         if (returnVal == JFileChooser.APPROVE_OPTION) {
             file = fc.getSelectedFile();
+            if (!file.getName().endsWith(".png"))
+                file = new File(file.getParent(), file.getName()+".png");
             BufferedImage bi = wmsLayer.images.get(0).image; 
             try {
                 ImageIO.write(bi, "png", file);
+/*
+                FileOutputStream flux = new FileOutputStream(file);
+                BufferedOutputStream fluxBuf = new BufferedOutputStream(flux);
+                JPEGImageEncoder codec = JPEGCodec.createJPEGEncoder(fluxBuf, JPEGCodec.getDefaultJPEGEncodeParam(bi));
+                codec.encode(bi);
+                fluxBuf.close();
+*/
             } catch (IOException e) {
                 e.printStackTrace();