Changeset 7491 for trunk/gli/src/org/greenstone/gatherer/file/FileNode.java

Timestamp:

2004-05-28T16:47:01+12:00 (20 years ago)

Author:

mdewsnip

Message:

Even more improvements to the workspace and collection trees. These are now hugely improved -- with refreshing being much quicker and much more reliable.

File:

• trunk/gli/src/org/greenstone/gatherer/file/FileNode.java (modified) (1 diff)

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

@@ -476 +476 @@
     }
 
+
+    public void refresh()
+    {
+    unmap();
+    map();
+    }
+
+
     private class FileEnumeration
     implements Enumeration {