Ticket #140: allow-gpx.gz-openinJOSM-20070501-2.diff

File allow-gpx.gz-openinJOSM-20070501-2.diff, 2.0 KB (added by Shaun McDonald <shaunmcdonald131@…>, 18 years ago)

patch that allows you to open .gpx.gz files

  • src/org/openstreetmap/josm/actions/OpenAction.java

     
    1111import java.io.IOException;
    1212import java.util.Collection;
    1313import java.util.LinkedList;
     14import java.util.zip.GZIPInputStream;
    1415
    1516import javax.swing.JFileChooser;
    1617import javax.swing.JOptionPane;
     
    6162                                Collection<Collection<GpsPoint>> gpsData = null;
    6263                                Collection<Marker> markerData = null;
    6364                                if (ExtensionFileFilter.filters[ExtensionFileFilter.GPX].acceptName(fn)) {
    64                                         RawGpsReader r = new RawGpsReader(new FileInputStream(file), file.getAbsoluteFile().getParentFile());
     65                                        RawGpsReader r = null;
     66                                        // Check to see if we are opening a compressed file
     67                                        if(file.getName().endsWith(".gpx.gz")) {
     68                                                r = new RawGpsReader(new GZIPInputStream(new FileInputStream(file)), file.getAbsoluteFile().getParentFile());
     69                                        } else {
     70                                                r = new RawGpsReader(new FileInputStream(file), file.getAbsoluteFile().getParentFile());
     71                                        }
    6572                                        gpsData = r.trackData;
    6673                                        markerData = r.markerData;
    6774                                } else if (ExtensionFileFilter.filters[ExtensionFileFilter.CSV].acceptName(fn)) {
  • src/org/openstreetmap/josm/actions/ExtensionFileFilter.java

     
    2323       
    2424        public static ExtensionFileFilter[] filters = {
    2525                new ExtensionFileFilter("osm,xml", "osm", tr("OSM Server Files (.osm .xml)")),
    26                 new ExtensionFileFilter("gpx", "gpx", tr("GPX Files (.gpx)")),
     26                new ExtensionFileFilter("gpx,gpx.gz", "gpx", tr("GPX Files (.gpx .gpx.gz)")),
    2727                new ExtensionFileFilter("csv,txt", "csv", tr("CSV Files (.csv .txt)")),
    2828        };
    2929