- Timestamp:
- 2007-01-12T14:05:00+13:00 (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/DeleteCollectionPrompt.java
r13584 r13586 48 48 import org.greenstone.gatherer.Gatherer; 49 49 import org.greenstone.gatherer.collection.BasicCollectionConfiguration; 50 import org.greenstone.gatherer.collection.CollectionManager; 50 51 import org.greenstone.gatherer.file.WorkspaceTree; // !!! Don't like this here 51 52 import org.greenstone.gatherer.util.ArrayTools; … … 293 294 Gatherer.g_man.refreshWorkspaceTree(WorkspaceTree.LIBRARY_CONTENTS_CHANGED); 294 295 295 if (Gatherer.c_man.getCollection() != null && collection.getShortName().equals( Gatherer.c_man.getCollection().getName())) {296 if (Gatherer.c_man.getCollection() != null && collection.getShortName().equals(CollectionManager.getLoadedCollectionName())) { 296 297 current_coll_deleted = true; 297 298 }
Note:
See TracChangeset
for help on using the changeset viewer.