Changeset 4389

Timestamp:

2003-05-28T13:44:11+12:00 (21 years ago)

Author:

jmt12

Message:

Slight fix to filters, which I then didn't use.

File:

• trunk/gli/src/org/greenstone/gatherer/file/FileSystemModel.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/file/FileSystemModel.java

@@ -20 +20 @@
     private FileFilter current_filter;
     private FileFilter[] filters;
-    static private FileFilter[] default_filters = { new FileFilter("\\..*", true), new FileFilter("metadata\\.xml", true) };
+    /** The filters in place for any file system model. */
+    private FileFilter[] default_filters = { new FileFilter("\\..*", true), new FileFilter("metadata\\.xml", true) };
 
     public FileSystemModel(FileNode root) {
@@ -194 +195 @@
     }
 
+    public void setPermanentFilter(String pattern) {
+    if(pattern != null) {
+        FileFilter new_filter = new FileFilter(pattern, false);
+        FileFilter temp[] = new FileFilter[default_filters.length + 1];
+        System.arraycopy(default_filters, 0, temp, 0, default_filters.length);
+        temp[default_filters.length] = new_filter;
+        default_filters = temp;
+        temp = null;
+    }
+    filters = null;
+    }
+
     public void setTree(DragTree tree) {
     this.tree = tree;