Changeset 7647

Timestamp:

2004-06-25T17:26:12+12:00 (20 years ago)

Author:

mdewsnip

Message:

Special case: you can now delete files from the "Downloaded Files" folder.

File:

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

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

@@ -49 +49 @@
 import org.greenstone.gatherer.util.DragComponent;
 import org.greenstone.gatherer.util.SynchronizedTreeModelTools;
+import org.greenstone.gatherer.util.Utility;
 
 /** Manages the moving of files within a separate thread.
@@ -89 +90 @@
         if(target instanceof UndoManager) {
         // If the source is the workspace then display an error message. Workspace is read only.
-        if(source.toString().equals("Workspace")) {
+
+        // ...except for files from the "Downloaded Files" folder
+        boolean from_downloaded_files_folder = false;
+        if (source_nodes != null) {
+            for (int i = 0; i < source_nodes.length; i++) {
+            if (source_nodes[i].getFile() != null) {
+                if (source_nodes[i].getFile().getAbsolutePath().startsWith(Utility.getCacheDir().getAbsolutePath())) {
+                from_downloaded_files_folder = true;
+                }
+            }
+            }
+        }
+
+        if (source.toString().equals("Workspace") && !from_downloaded_files_folder) {
             JOptionPane.showMessageDialog(Gatherer.g_man, Dictionary.get("FileActions.Read_Only"), Dictionary.get("General.Error"), JOptionPane.ERROR_MESSAGE);
             return;