Changeset 17086 for gli

Show
Ignore:
Timestamp:
29.08.2008 13:01:15 (11 years ago)
Author:
davidb
Message:

Addition of file filters for PDF and Office Docs (both Microsoft and Word)

Location:
gli/trunk
Files:
2 modified

Legend:

Unmodified
Added
Removed
  • gli/trunk/classes/dictionary.properties

    r16992 r17086  
    586586Filter.2:Text Files 
    587587Filter.3:Images 
     588Filter.4:PDF 
     589Filter.5:Office Documents 
    588590Filter.All_Files:All Files 
    589591Filter.Filter_Tree:Show Files 
  • gli/trunk/src/org/greenstone/gatherer/gui/Filter.java

    r13531 r17086  
    7474    static final private Dimension SIZE = new Dimension(100,30); 
    7575    /** 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)$)"}; 
    7781 
    7882    /** Constructor. 
     
    238242            else if(temp_str.equals(Dictionary.get("Filter.3"))) { 
    239243            } 
     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            } 
    240250            else { 
    241251            // Make sure the filter isn't already in the list