- Timestamp:
- 2008-08-29T13:01:15+12:00 (16 years ago)
- Location:
- gli/trunk
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
gli/trunk/classes/dictionary.properties
r16992 r17086 586 586 Filter.2:Text Files 587 587 Filter.3:Images 588 Filter.4:PDF 589 Filter.5:Office Documents 588 590 Filter.All_Files:All Files 589 591 Filter.Filter_Tree:Show Files -
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.