Changeset 11598
- Timestamp:
- 2006-04-06T14:33:36+12:00 (18 years ago)
- Location:
- trunk/gli/src/org/greenstone/gatherer
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/file/FileManager.java
r11440 r11598 111 111 // Is this the "Downloaded Files" folder? 112 112 if (source_nodes[i].getFile().getAbsolutePath().startsWith(downloaded_files_folder_path)) { 113 // Can only delete from the "Downloaded Files" folder if a collection is open114 if (Gatherer.c_man.ready() == false) {115 return;116 }117 113 read_only_source = false; 118 114 } -
trunk/gli/src/org/greenstone/gatherer/file/FileQueue.java
r11595 r11598 701 701 synchronized(this) { 702 702 // Force both workspace and collection trees to refresh 703 if (Gatherer.g_man != null ) {703 if (Gatherer.g_man != null && Gatherer.c_man.ready()) { 704 704 Gatherer.g_man.refreshWorkspaceTree(DragTree.COLLECTION_CONTENTS_CHANGED); 705 705 // Gatherer.g_man.refreshCollectionTree(DragTree.COLLECTION_CONTENTS_CHANGED); -
trunk/gli/src/org/greenstone/gatherer/gui/GatherPane.java
r11446 r11598 299 299 bin_button = new RecycleBin(); 300 300 bin_button.addActionListener(this); 301 bin_button.setEnabled(false);302 301 bin_button.setMinimumSize(MIN_SIZE); 303 302 bin_button.setPreferredSize(MIN_SIZE); … … 443 442 collection_tree.setEnabled(collection_loaded); 444 443 collection_filter.setEnabled(collection_loaded); 445 bin_button.setEnabled(collection_loaded);446 444 new_folder.setEnabled(collection_loaded); 447 445
Note:
See TracChangeset
for help on using the changeset viewer.