Ticket #675: ExtensionFileFilter.patch

P:/workspace_tools/JOSM/src/org/openstreetmap/josm/actions/ExtensionFileFilter.java

@@ -8 +8 @@
 import javax.swing.filechooser.FileFilter;
 
 /**
- * A file filter that filters after the extension. Also includes a list of file 
+ * A file filter that filters after the extension. Also includes a list of file
  * filters used in JOSM.
- * 
+ *
  * @author imi
  */
 public class ExtensionFileFilter extends FileFilter {
@@ -20 +20 @@
 
         public static final int OSM = 0;
         public static final int GPX = 1;
-        
+        public static final int NMEA = 2;
+
         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", "nmea", tr("NMEA Files (.nmea)")),
         };
 
         /**