Changeset 17086 for gli/trunk/src/org/greenstone/gatherer/gui/Filter.java
- Timestamp:
- 2008-08-29T13:01:15+12:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/trunk/src/org/greenstone/gatherer/gui/Filter.java
r13531 r17086 74 74 static final private Dimension SIZE = new Dimension(100,30); 75 75 /** Preprogrammed default filters. */ 76 static final private String DEFAULTS[] = {"^.*\\.html?$", "^.*\\.xml$", "^.*\\.txt$", "(^.*\\.jpe?g$)|(^.*\\.png$)|(^.*\\.gif$)|(^.*\\.bmp$)|(^.*\\.tiff?$)"}; 76 static final private String DEFAULTS[] 77 = {"^.*\\.html?$", "^.*\\.xml$", "^.*\\.txt$", 78 "(^.*\\.jpe?g$)|(^.*\\.png$)|(^.*\\.gif$)|(^.*\\.bmp$)|(^.*\\.tiff?$)", 79 "^.*\\.pdf$", 80 "(^.*\\.docx?$)|(^.*\\.pptx?$)|(^.*\\.xlsx?$)|(^.*\\.od(t|s|p)$)"}; 77 81 78 82 /** Constructor. … … 238 242 else if(temp_str.equals(Dictionary.get("Filter.3"))) { 239 243 } 244 // PDF 245 else if(temp_str.equals(Dictionary.get("Filter.4"))) { 246 } 247 // Office Docs 248 else if(temp_str.equals(Dictionary.get("Filter.5"))) { 249 } 240 250 else { 241 251 // Make sure the filter isn't already in the list
Note:
See TracChangeset
for help on using the changeset viewer.