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

Timestamp:

2004-10-18T11:50:18+13:00 (20 years ago)

Author:

mdewsnip

Message:

Changed the collectionChanged() functions to refresh(), and added an extra parameter for more control over refreshing.

File:

• trunk/gli/src/org/greenstone/gatherer/gui/EnrichPane.java (modified) (4 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.file.FileNode;
 import org.greenstone.gatherer.gui.tree.DragTree;
@@ -230 +231 @@
 
 
-    /** Called whenever a significant change has occured in the state of the currently loaded collection.
-     * @param ready <i>true</i> if there is a collection currently ready to be editing, <i>false</i> otherwise.
-     * @see org.greenstone.gatherer.collection.CollectionManager
-     * @see org.greenstone.gatherer.util.TreeSynchronizer
-     */
-    public void collectionChanged(boolean ready)
-    {
-    if (ready) {
-        // System.err.println("In collectionChanged(true).");
-        TreeModel collection_model = Gatherer.c_man.getRecordSet();
-        Dictionary.registerText(collection_label, "Collection.Collection");
-
-        // Update label coloring.
-        collection_label.setBackground(Configuration.getColor("coloring.collection_heading_background", false));
-        collection_label.setForeground(Configuration.getColor("coloring.collection_heading_foreground", false));
-        collection_tree.setModel(collection_model);
-
-        // Update tree coloring.
-        collection_tree.setBackground(Configuration.getColor("coloring.collection_tree_background", false));
-        collection_tree.setForeground(Configuration.getColor("coloring.collection_tree_foreground", false));
-    }
-    else {
-        Dictionary.registerText(collection_label, "Collection.No_Collection");
-        collection_label.setBackground(Color.lightGray);
-        collection_label.setForeground(Color.black);
-        collection_tree.setModel(new DefaultTreeModel(new DefaultMutableTreeNode(Dictionary.get("Collection.No_Collection"))));
-    }
-
-    filter.setEnabled(ready);
-    // Ensure that this collection tree view is synchronized with any others.
-    tree_sync.add(collection_tree);
-    }
-
-
     /** Used to create, connect and layout the components to be shown on this control panel.
      * @see org.greenstone.gatherer.Gatherer
@@ -453 +420 @@
     // Select the first node in the tree if nothing is already selected
     if (collection_tree.getSelectionPaths() == null) {
-        System.err.println("Nothing selected... selecting first tree node.");
         collection_tree.setImmediate(true);
         collection_tree.setSelectionRow(0);
@@ -470 +436 @@
     {
     filter.setEditable(mode > Configuration.LIBRARIAN_MODE);
+    }
+
+
+    public void refresh(int refresh_reason, boolean ready)
+    {
+    System.err.println("In EnrichPane.collectionChanged(" + ready + ")...");
+    if (ready) {
+        TreeModel collection_model = Gatherer.c_man.getRecordSet();
+        Dictionary.registerText(collection_label, "Collection.Collection");
+
+        // Update label coloring.
+        collection_label.setBackground(Configuration.getColor("coloring.collection_heading_background", false));
+        collection_label.setForeground(Configuration.getColor("coloring.collection_heading_foreground", false));
+        collection_tree.setModel(collection_model);
+
+        // Update tree coloring.
+        collection_tree.setBackground(Configuration.getColor("coloring.collection_tree_background", false));
+        collection_tree.setForeground(Configuration.getColor("coloring.collection_tree_foreground", false));
+    }
+    else {
+        Dictionary.registerText(collection_label, "Collection.No_Collection");
+        collection_label.setBackground(Color.lightGray);
+        collection_label.setForeground(Color.black);
+        collection_tree.setModel(new DefaultTreeModel(new DefaultMutableTreeNode(Dictionary.get("Collection.No_Collection"))));
+    }
+
+    filter.setEnabled(ready);
+    // Ensure that this collection tree view is synchronized with any others.
+    tree_sync.add(collection_tree);
     }