1 | package cadastre_fr;
|
---|
2 |
|
---|
3 | import static org.openstreetmap.josm.tools.I18n.tr;
|
---|
4 |
|
---|
5 | import java.awt.event.ActionEvent;
|
---|
6 | import java.awt.image.BufferedImage;
|
---|
7 | import java.io.BufferedOutputStream;
|
---|
8 | import java.io.File;
|
---|
9 | import java.io.FileOutputStream;
|
---|
10 | import java.io.IOException;
|
---|
11 |
|
---|
12 | import javax.imageio.ImageIO;
|
---|
13 | import javax.swing.JFileChooser;
|
---|
14 | import javax.swing.filechooser.FileFilter;
|
---|
15 |
|
---|
16 | import org.openstreetmap.josm.Main;
|
---|
17 | import org.openstreetmap.josm.actions.JosmAction;
|
---|
18 |
|
---|
19 | import com.sun.image.codec.jpeg.JPEGCodec;
|
---|
20 | import com.sun.image.codec.jpeg.JPEGImageEncoder;
|
---|
21 |
|
---|
22 | public class MenuActionSaveRasterAs extends JosmAction {
|
---|
23 |
|
---|
24 | public static String name = "Save image as PNG";
|
---|
25 |
|
---|
26 | private static final long serialVersionUID = 1L;
|
---|
27 |
|
---|
28 | private WMSLayer wmsLayer;
|
---|
29 |
|
---|
30 | public class FiltrePng extends FileFilter {
|
---|
31 | @Override
|
---|
32 | public boolean accept(File file) {
|
---|
33 | if (file.isDirectory()) {
|
---|
34 | return true;
|
---|
35 | }
|
---|
36 | return file.getName().toLowerCase().endsWith(".png");
|
---|
37 | }
|
---|
38 |
|
---|
39 | @Override
|
---|
40 | public String getDescription() {
|
---|
41 | return tr("PNG files (*.png)");
|
---|
42 | }
|
---|
43 |
|
---|
44 | }
|
---|
45 |
|
---|
46 | FiltrePng filtrePng = new FiltrePng();
|
---|
47 |
|
---|
48 | public MenuActionSaveRasterAs(WMSLayer wmsLayer) {
|
---|
49 | super(tr(name), "save", tr("Export as PNG format (only raster images)"), null, false);
|
---|
50 | this.wmsLayer = wmsLayer;
|
---|
51 | }
|
---|
52 |
|
---|
53 | public void actionPerformed(ActionEvent arg0) {
|
---|
54 | File file;
|
---|
55 | JFileChooser fc = new JFileChooser();
|
---|
56 | fc.setFileFilter(filtrePng);
|
---|
57 | int returnVal = fc.showSaveDialog(Main.parent);
|
---|
58 | if (returnVal == JFileChooser.APPROVE_OPTION) {
|
---|
59 | file = fc.getSelectedFile();
|
---|
60 | if (!file.getName().endsWith(".png"))
|
---|
61 | file = new File(file.getParent(), file.getName()+".png");
|
---|
62 | BufferedImage bi = wmsLayer.images.get(0).image;
|
---|
63 | try {
|
---|
64 | ImageIO.write(bi, "png", file);
|
---|
65 | /*
|
---|
66 | FileOutputStream flux = new FileOutputStream(file);
|
---|
67 | BufferedOutputStream fluxBuf = new BufferedOutputStream(flux);
|
---|
68 | JPEGImageEncoder codec = JPEGCodec.createJPEGEncoder(fluxBuf, JPEGCodec.getDefaultJPEGEncodeParam(bi));
|
---|
69 | codec.encode(bi);
|
---|
70 | fluxBuf.close();
|
---|
71 | */
|
---|
72 | } catch (IOException e) {
|
---|
73 | e.printStackTrace();
|
---|
74 | }
|
---|
75 | }
|
---|
76 | }
|
---|
77 |
|
---|
78 | }
|
---|