Changeset 7482 for trunk/gli/src/org/greenstone/gatherer/gui/tree

Timestamp:

2004-05-27T17:12:03+12:00 (20 years ago)

Author:

mdewsnip

Message:

Some tidy ups in preparation for finalising the workspace and collection tree refreshing.

File:

• trunk/gli/src/org/greenstone/gatherer/gui/tree/WorkspaceTree.java (modified) (3 diffs)

trunk/gli/src/org/greenstone/gatherer/gui/tree/WorkspaceTree.java

@@ -17 +17 @@
 
 
-    public WorkspaceTree(String name) {
+    public WorkspaceTree(String name)
+    {
     super(name, WorkspaceTreeModel.getWorkspaceTreeModel(), null, true);
     }
 
 
-    public void refresh(int refresh_reason) {
+    public void refresh(int refresh_reason)
+    {
     Gatherer.println("WorkspaceTree::refresh()... ");
 
@@ -47 +49 @@
 
     // The method for displaying the tree has changed - redraw the tree
-    if (refresh_reason == DragTree.TREE_DISPLAY_CHANGED) {
-        Gatherer.println("...Reason: tree display changed.");
-        updateUI();
-    }
+    if (refresh_reason == DragTree.TREE_DISPLAY_CHANGED) {
+        Gatherer.println("...Reason: tree display changed.");
+        updateUI();
+    }
 
     // The collection specific mapped directories have changed - refresh only them
@@ -82 +84 @@
         }
 
-        // If the collection import directory is open, it must be refreshed
+        // If the specified folder is open, it must be refreshed
         if (tree_node_path_str.equals(folder_path_str)) {
         System.err.println("Must refresh node " + tree_node_path_str + "!");