Changeset 8391
- Timestamp:
- 2004-10-20T16:21:46+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/file/FileManager.java
r8243 r8391 99 99 } 100 100 101 // Can only delete from the "Downloaded Files" folder if a collection is open 102 if (from_downloaded_files_folder && Gatherer.c_man.ready() == false) { 103 return; 104 } 105 101 106 if (source.toString().equals("Workspace") && !from_downloaded_files_folder) { 102 107 JOptionPane.showMessageDialog(Gatherer.g_man, Dictionary.get("FileActions.Read_Only"), Dictionary.get("General.Error"), JOptionPane.ERROR_MESSAGE);
Note:
See TracChangeset
for help on using the changeset viewer.