Changeset 7483

Timestamp:

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

Author:

mdewsnip

Message:

Ooops... the dangers of copy and paste.

File:

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

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

@@ -739 +739 @@
         // Force both workspace and collection trees to redraw
         if (Gatherer.g_man != null) {
-        Gatherer.g_man.refreshWorkspaceTree(DragTree.COLLECTION_CONTENTS_CHANGED);
-        Gatherer.g_man.refreshCollectionTree(DragTree.COLLECTION_CONTENTS_CHANGED);
+        Gatherer.g_man.refreshWorkspaceTree(DragTree.TREE_DISPLAY_CHANGED);
+        Gatherer.g_man.refreshCollectionTree(DragTree.TREE_DISPLAY_CHANGED);
         }