Ticket #2129: nmea_nma_extension.patch

src/org/openstreetmap/josm/actions/ExtensionFileFilter.java

@@ -25 +25 @@
     public static ExtensionFileFilter[] filters = {
         new ExtensionFileFilter("osm,xml", "osm", tr("OSM Server Files (*.osm *.xml)")),
         new ExtensionFileFilter("gpx,gpx.gz", "gpx", tr("GPX Files (*.gpx *.gpx.gz)")),
-        new ExtensionFileFilter("nmea,txt", "nmea", tr("NMEA-0183 Files (*.nmea *.txt)")),
+        new ExtensionFileFilter("nmea,nma,txt", "nmea", tr("NMEA-0183 Files (*.nmea *.nma *.txt)")),
     };
 
     /**