Changeset 7233

Timestamp:

2004-04-27T17:14:55+12:00 (20 years ago)

Author:

mdewsnip

Message:

Also allows .tiff extension for image filter.

File:

• trunk/gli/src/org/greenstone/gatherer/gui/Filter.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/gui/Filter.java

@@ -74 +74 @@
     static final private Dimension SIZE = new Dimension(100,30);
     /** Preprogrammed default filters. */
-    static final private String DEFAULTS[] = {"^.*\\.html?$", "^.*\\.xml$", "^.*\\.txt$", "(^.*\\.jpe?g$)|(^.*\\.png$)|(^.*\\.gif$)|(^.*\\.bmp$)|(^.*\\.tif$)"};
+    static final private String DEFAULTS[] = {"^.*\\.html?$", "^.*\\.xml$", "^.*\\.txt$", "(^.*\\.jpe?g$)|(^.*\\.png$)|(^.*\\.gif$)|(^.*\\.bmp$)|(^.*\\.tiff?$)"};
 
     /** Constructor.