Changeset 7639 for trunk/gli/src/org/greenstone/gatherer/file

Timestamp:

2004-06-24T16:27:11+12:00 (20 years ago)

Author:

mdewsnip

Message:

Added the ability to refresh the "Downloaded Files" folder when Mirroring is enabled. This is likely to be improved at a later date.

File:

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

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

@@ -60 +60 @@
     {
     greenstone_collections_node.refresh();
+    }
+
+
+    static public void refreshDownloadedFilesNode()
+    {
+    downloaded_files_node.refresh();
     }