Changeset 13520

Timestamp:

2006-12-15T14:34:29+13:00 (17 years ago)

Author:

mdewsnip

Message:

Now refreshes the collection and workspace trees correctly when "show file sizes" is turned on/off.

File:

• trunk/gli/src/org/greenstone/gatherer/gui/GatherPane.java (modified) (1 diff)

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

@@ -389 +389 @@
     }
 
+    // File sizes turned on/off
+    if (refresh_reason == Gatherer.PREFERENCES_CHANGED) {
+        refreshWorkspaceTree(DragTree.TREE_DISPLAY_CHANGED);
+        refreshCollectionTree(DragTree.TREE_DISPLAY_CHANGED);
+    }
+
     // Enable or disable the controls
     collection_tree.setEnabled(collection_loaded);