- Timestamp:
- 2007-01-12T15:36:27+13:00 (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/DeleteCollectionPrompt.java
r13586 r13595 294 294 Gatherer.g_man.refreshWorkspaceTree(WorkspaceTree.LIBRARY_CONTENTS_CHANGED); 295 295 296 if ( Gatherer.c_man.getCollection() != null &&collection.getShortName().equals(CollectionManager.getLoadedCollectionName())) {296 if (collection.getShortName().equals(CollectionManager.getLoadedCollectionName())) { 297 297 current_coll_deleted = true; 298 298 }
Note:
See TracChangeset
for help on using the changeset viewer.