Changeset 7639 for trunk/gli/src/org/greenstone/gatherer/gui/tree

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/gui/tree/WorkspaceTree.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/gui/tree/WorkspaceTree.java

@@ -14 +14 @@
 
     static public int LIBRARY_CONTENTS_CHANGED = 10;
-    static public int FOLDER_SHORTCUTS_CHANGED = 11;
+    static public int DOWNLOADED_FILES_CHANGED = 11;
+    static public int FOLDER_SHORTCUTS_CHANGED = 12;
 
 
@@ -53 +54 @@
     }
 
+    // The downloaded files have changed - refresh that node
+    if (refresh_reason == WorkspaceTree.DOWNLOADED_FILES_CHANGED) {
+        Gatherer.println("...Reason: downloaded files changed.");
+        WorkspaceTreeModel.refreshDownloadedFilesNode();
+    }
+
     // The folder shortcuts have changed - refresh only them
     if (refresh_reason == WorkspaceTree.FOLDER_SHORTCUTS_CHANGED) {