Changeset 7639

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.

Location:

trunk/gli/src/org/greenstone/gatherer

Files:

• file/WorkspaceTreeModel.java (modified) (1 diff)
• gui/Preferences.java (modified) (2 diffs)
• gui/tree/WorkspaceTree.java (modified) (2 diffs)

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

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

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

@@ -48 +48 @@
 import org.greenstone.gatherer.gui.SimpleMenuBar;
 import org.greenstone.gatherer.gui.tree.DragTree;
+import org.greenstone.gatherer.gui.tree.WorkspaceTree;
 import org.greenstone.gatherer.util.ArrayTools; // just for debug
 import org.greenstone.gatherer.util.StaticStrings;
@@ -793 +794 @@
         // Retrieve the cache folder and delete it.
         Utility.delete(Utility.getCacheDir());
+
+        // ...and refresh the node in the workspace tree to show it's all gone
+        Gatherer.g_man.refreshWorkspaceTree(WorkspaceTree.DOWNLOADED_FILES_CHANGED);
     }
     }

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) {