Changeset 8044


Ignore:
Timestamp:
2004-08-24T16:14:59+12:00 (20 years ago)
Author:
mdewsnip
Message:

Removed some dead code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/gli/src/org/greenstone/gatherer/collection/CollectionManager.java

    r8015 r8044  
    7575import org.greenstone.gatherer.shell.GShellListener;
    7676import org.greenstone.gatherer.shell.GShellProgressMonitor;
    77 import org.greenstone.gatherer.undo.UndoManager;
    7877import org.greenstone.gatherer.util.ArrayTools;
    7978import org.greenstone.gatherer.util.Codec;
     
    9392    /** A reference to the metadata set manager. */
    9493    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;
    9794    /** Are we currently in the process of building? */
    9895    private boolean building = false;
     
    129126    this.importing = false;
    130127    this.collection = null;
    131     this.undo = new UndoManager();
    132128    }
    133129    /** Add a special directory mapping.
     
    237233    collection_model = null;
    238234    // workspace_model = null;
    239     undo.clear();
    240235    Gatherer.config.setCollectionConfiguration(null);
    241236    if (Gatherer.g_man != null) {
     
    12931288        // Run this in the same thread
    12941289        //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 SaveCollectionAsTask
    1305     try {
    1306         SaveCollectionTask save_task = new SaveCollectionTask(collection, name);
    1307         save_task.start();
    13081290    }
    13091291    catch(Exception error) {
Note: See TracChangeset for help on using the changeset viewer.