Changeset 13046

Timestamp:

2006-10-06T14:47:13+13:00 (18 years ago)

Author:

shaoqun

Message:

added xml file extensions

File:

• trunk/gli/src/org/greenstone/gatherer/gui/ExportAsPrompt.java (modified) (2 diffs)

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

@@ -481 +481 @@
          for (int i = 0; i < command_parts_list.size(); i++) {
         DebugStream.print(command_parts_list.get(i) + " ");
-        //System.err.print(command_parts_list.get(i) + " ");          
+        System.err.print(command_parts_list.get(i) + " ");          
     }
     DebugStream.println("");
@@ -848 +848 @@
         javax.swing.filechooser.FileFilter filter = new javax.swing.filechooser.FileFilter(){
             public boolean accept(File f){
-            return f.getPath().endsWith(".xsl")||f.isDirectory();
+            return f.getPath().endsWith(".xsl")||f.isDirectory()||f.getPath().endsWith(".xml");
             }  
 
             public String getDescription(){
-            return "XSL file";
+            return "XSL or XML file";
             }          
       };