Changeset 8846 for trunk/gli/src/org/greenstone/gatherer/gui/EnrichPane.java

Timestamp:

2004-12-17T15:07:36+13:00 (19 years ago)

Author:

mdewsnip

Message:

Tidied up the workspace and collection trees a bit more, in preparation for having special icons for some collection files.

File:

• trunk/gli/src/org/greenstone/gatherer/gui/EnrichPane.java (modified) (5 diffs)

trunk/gli/src/org/greenstone/gatherer/gui/EnrichPane.java

@@ -50 +50 @@
 import org.greenstone.gatherer.Dictionary;
 import org.greenstone.gatherer.Gatherer;
-import org.greenstone.gatherer.collection.CollectionManager;
+import org.greenstone.gatherer.collection.CollectionTree;
 import org.greenstone.gatherer.collection.CollectionTreeNode;
 import org.greenstone.gatherer.gui.tree.DragTree;
@@ -123 +123 @@
     private JTextField table_label;
     /** A reference to the collection tree. */
-    private DragTree collection_tree;
+    private CollectionTree collection_tree;
     /** Provide synchronization between the collection trees in this view and the collection pane view. */
     private TreeSynchronizer collection_tree_sync = null;
@@ -235 +235 @@
     /** Used to create, connect and layout the components to be shown on this control panel.
      * @see org.greenstone.gatherer.Gatherer
-     * @see org.greenstone.gatherer.collection.CollectionManager
      * @see org.greenstone.gatherer.file.FileOpenActionListener
      * @see org.greenstone.gatherer.gui.Filter
@@ -253 +252 @@
 
     DragGroup group = new DragGroup();
-    TreeModel collection_model = Gatherer.c_man.getRecordSet();
-    if (collection_model != null) {
-        collection_tree = new DragTree("Enrich", collection_model, null, false);
-    }
-    else {
-        collection_tree = new DragTree("Enrich", null, false);
-    }
+    collection_tree = new CollectionTree("Enrich", Gatherer.c_man.getCollectionTreeModel(), false);
     group.add(collection_tree);
     collection_tree.getSelectionModel().setSelectionMode(TreeSelectionModel.DISCONTIGUOUS_TREE_SELECTION);
@@ -456 +449 @@
         // Update collection tree
         if (refresh_reason == Gatherer.COLLECTION_OPENED) {
-        collection_tree.setModel(Gatherer.c_man.getRecordSet());
+        collection_tree.setModel(Gatherer.c_man.getCollectionTreeModel());
         }