Changeset 8044
- Timestamp:
- 2004-08-24T16:14:59+12:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/collection/CollectionManager.java
r8015 r8044 75 75 import org.greenstone.gatherer.shell.GShellListener; 76 76 import org.greenstone.gatherer.shell.GShellProgressMonitor; 77 import org.greenstone.gatherer.undo.UndoManager;78 77 import org.greenstone.gatherer.util.ArrayTools; 79 78 import org.greenstone.gatherer.util.Codec; … … 93 92 /** A reference to the metadata set manager. */ 94 93 public MetadataSetManager msm; 95 /** A reference to the undo manager. Although only one instance is shared between all collections, the undo queues are emptied between each. */96 public UndoManager undo;97 94 /** Are we currently in the process of building? */ 98 95 private boolean building = false; … … 129 126 this.importing = false; 130 127 this.collection = null; 131 this.undo = new UndoManager();132 128 } 133 129 /** Add a special directory mapping. … … 237 233 collection_model = null; 238 234 // workspace_model = null; 239 undo.clear();240 235 Gatherer.config.setCollectionConfiguration(null); 241 236 if (Gatherer.g_man != null) { … … 1293 1288 // Run this in the same thread 1294 1289 //save_task.run(); 1295 }1296 catch(Exception error) {1297 Gatherer.printStackTrace(error);1298 }1299 }1300 /** Saves the current collection to a new filename, then restores the original collection. Finally opens the collection copy.1301 * @param name The name collection name.1302 */1303 public void saveCollectionAs(String name) {1304 // We need to do this in a separate thread so create a SaveCollectionAsTask1305 try {1306 SaveCollectionTask save_task = new SaveCollectionTask(collection, name);1307 save_task.start();1308 1290 } 1309 1291 catch(Exception error) {
Note:
See TracChangeset
for help on using the changeset viewer.