Changeset 13520


Ignore:
Timestamp:
2006-12-15T14:34:29+13:00 (16 years ago)
Author:
mdewsnip
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/gli/src/org/greenstone/gatherer/gui/GatherPane.java

    r13407 r13520  
    389389    }
    390390
     391    // File sizes turned on/off
     392    if (refresh_reason == Gatherer.PREFERENCES_CHANGED) {
     393        refreshWorkspaceTree(DragTree.TREE_DISPLAY_CHANGED);
     394        refreshCollectionTree(DragTree.TREE_DISPLAY_CHANGED);
     395    }
     396
    391397    // Enable or disable the controls
    392398    collection_tree.setEnabled(collection_loaded);
Note: See TracChangeset for help on using the changeset viewer.